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