MT: A Toolset for Specifying and Analyzing Real-Time Systems. - Paul C. Clements; Constance L. Heitmeyer; Bruce G. Labaw; A. T. Rose (RTSS, 1993)