Controlling the software development process through the techniques of software process modelling and formal methods. - Kimberley M. Proudlock (1994)