Integration of formal verification with real-time design. - G. Krasovec; N. Shankar; P. Ward (WORDS, 1996)