Thomas Stauner, Olaf Müller, Max Fuchs. Using HYTECH to Verify an Automative Control System. In Oded Maler, editor, Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings. Volume 1201 of Lecture Notes in Computer Science, pages 139-153, Springer, 1997.
Abstract is missing.