Mike Cochran, Hassan Gomaa. Validating the ADARTS software design method for real-time systems. In Judy Bamberger, editor, Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991. pages 33-44, ACM, 1991. [doi]
Abstract is missing.