Lausdahl, K., Coleman, J. W. og Larsen, P. G. (2013) “Semantics of the VDM Real-Time Dialect”, Technical Report Electronics and Computer Engineering, 2(13). doi: 10.7146/ece.v2i13.21228.