Applications of temporal logic to the speci - cation and veri cation of reactive systems: A survey of current trends (1986)

by A Pnueli
Venue:In Lecture Notes in Computer Science