Books
Papers/Articles
- Formal Specification and Development of Control System Input/Output. 1993. In 7th Z User Workshop
- From Z to Code: A Graphical User Interface for a Radiation Therapy Machine. 1995. In ZUM '95
- Experience with Z developing a Control Program for a Radiation Therapy Machine. 1997. In ZUM '97
- Analyzing a Real-Time Program with Z. 1998. In ZUM '98
- Lessons from the Formal Development of a Radiation Therapy Machine Control Program. 1999. In Industrial-Strength Formal Methods in Practice