Introduction to VDM Copyright, 2003 © Jerzy R. Nawrocki [email protected] Models and Analysis of Software.