Specifying Message Passing and Time-Critical Systems with Temporal Logic

Ron Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic Lecture Notes in Computer Science 651 Springer 1992 3-540-56283-4