VERTAF: an application framework for the design and verification of embedded real-time software | IEEE Journals & Magazine | IEEE Xplore