Peil-Ying M. Chu, Ming T. Liu. Protocol synthesis in a state-transition model. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 505-512, IEEE, 1988. [doi]
Abstract is missing.