S. L. Smith and S. L. Gethart. "STATEMATE and cruise control: A case: study."

Proc. (1988) Proc. COMPAC '88, 12th Int. IEEE Cornput. Software and Applicat. Conf. New York: IEEE Press. 1988  

Languages mentioned STATEMATE {1998}