A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs

Events in Property Patterns

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking

A More Complete TLA

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

Specification of business components using temporal OCL

UML and the unified process

Compositional verification with stutter-invariant propositional projection temporal logic

ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I