John W. Baugh Jr. Design and verification of real-time systems. 30-47 1998 conf/seaai/1998 AI in Structural Engineering db/conf/seaai/seaai1998.html#Baugh98