VERT-verification of real-time programs

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer. VERT-verification of real-time programs. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991. pages 618-625, IEEE, 1991. [doi]