Short works
- Z Applied to the A330/340 CIDS Cabin Communication System. 1995. (In Applications of Formal Methods )
- Formal Development and Verification of a Distributed Railway Control System. 1999. (In FM'99 volume 2 )
- The UniForM Workbench, a Universal Development Environment for Formal Methods. 1999. (In FM'99 volume 2 )