Kevin Lano, S. J. Goldsack. Formalizing Real-Time System Design. In Jan Bosch, Stuart Mitchell, editors, Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Volume 1357 of Lecture Notes in Computer Science, pages 436-445, Springer, 1997. [doi]
Abstract is missing.