VVSL: a language for structured VDM specifications

Interface specification with temporal logic

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Seven Myths of Formal Methods

IEEE Software

Using Formal Methods to Develop an ATC Information System

IEEE Software

Developing reactive systems in a VDM framework

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design

Redevelopment of an industrial case study using event-B and Rodin

FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry