Now you may compose temporal logic speci cations (1984)

by Howard Barringer, Ruurd Kuiper, Amir Pnueli
Venue:In Sixteenth Annual ACM Symposium on Theory of Computing