John W. Baugh Jr.. Design and verification of real-time systems. In Ian Smith, editor, Artificial Intelligence in Structural Engineering, Information Technology for Design, Collaboration, Maintenance, and Monitoring. Volume 1454 of Lecture Notes in Computer Science, pages 30-47, Springer, 1998.
Abstract is missing.