| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Reactive Systems: Modelling, Specification and Verification | 978-O-521-87546-2 (O-521-87546-3) | 2007 | L. Aceto · Anna Ingolfsdottir · Jiri Srba |
G.L. · K L · K. Larson · Kim Guldstrand · Kim L.