On the synthesis of an asynchronous reactive module (1989)

by Amir Pnueli, Roni Rosner
Venue:In ICALP ’89: Proceedings of the 16th International Colloquium on Automata, Languages and Programming