Design and synthesis of synchronization skeletons using branching time temporal logic (1981)

by E Clarke, E Emerson
Venue:In Proc. Workshop on Logic of Programs, volume 131 of LNCS