From z to c: illustration of a rigorous development method (specification hierarchy)

Software Hazard and Safety Analysis

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

Retrenchment, Refinement, and Simulation

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B

Controlling Control Systems: An Application of Evolving Retrenchment

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B

Engineering and theoretical underpinnings of retrenchment

Science of Computer Programming

Formal program development with approximations

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Retrenchment: extending refinement for continuous and control systems

IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods