Protocol synthesis in a state-transition model. - Peil-Ying M. Chu; Ming T. Liu (COMPSAC, 1988)