VERT-verification of real-time programs. - Mike Beaven; Brad Elmore; Dan C. Marinescu; Ryan Stansifer (COMPSAC, 1991)