| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S | 978-O-387-58468-3 (O-387-58468-4) | 1994 | W. P. De Roever |