| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Specifying Message Passing and Time-Critical Systems with Temporal Logic | 978-3-540-56283-2 (3-540-56283-4) | 2008 | |
| Specifying Message Passing and Time-Critical Systems With Temporal Logic | 978-0-387-56283-4 (0-387-56283-4) | 1992 |