Design and synthesis of synchronization skeletons using branching-time temporal logic

Edmund M. Clarke, E. Allen Emerson
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Logic of Programs, Workshop
Springer-Verlag
London, UK, UK
Pages 52-71
1982
Note(s): model checking, temporal logic