Lausdahl, K., Coleman, J. W. and Larsen, P. G. (2013) “Semantics of the VDM Real-Time Dialect”, Technical Report Electronics and Computer Engineering, 2(13). Available at: https://tidsskrift.dk/ece/article/view/21228 (Accessed: 7 May 2024).