| Hierarchical Modelling Of Complex Control Systems: Dependability Analysis Of A Railway Interlocking | 3 | 0.42 | 2001 |
| Applying Formal Methods in Industry The UseGat Project | 0 | 0.34 | 1998 |
| Formal Verification of a Railway Interlocking System using Model Checking | 27 | 2.45 | 1998 |
| A Formal Verification Environment for Railway Signaling System Design | 30 | 1.86 | 1998 |
| Proving Safety Properties for Embedded Control Systems | 3 | 0.62 | 1996 |
| An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System | 6 | 0.65 | 1995 |
