About the authors

Dr Ir E.H.Dürr

is Technical Manager at Cap Gemini, Assistant Professor at Utrecht University -both in the Netherlands- and visiting Professor at the Ecole Nationale Superieure des Techniques Industrielles et des Mines de Nantes, France. (http://www.fys.ruu.nl/~durr)

Prof S. Goldsack

is Emeritus Professor at the Department of Computing, at Imperial College in London U.K. He was an active member of the team who developed the VDM⁺⁺language and method, bringing to it experience of work in distribution for Ada, OO languages with real time aspects (DRAGOON) and formal methods (the FOREST project).

Dr. K.C. Lano

Kevin Lano has a long experience in the formal methods field, and is author of several books in the area.