E. Jane Cameron, Yow-Jian Lin. A real-time transition model for analyzing behavioral compatibility of telecommunications services. In Mark Moriconi, editor, Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA. pages 101-111, ACM, 1991. [doi]
Abstract is missing.