Tekstiviesti: Software prototyping, formal methods, and VDM / Sharam Hekmatpour, Darrel Ince.