"Formal verification of a real-time hardware design."

Zerksis D. Umrigar, Vijay Pitchumani (1983)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics