METATEM: A framework for programming in temporal logic (1989)

by H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Venue:In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS