LAUSDAHL, K.; COLEMAN, J. W.; LARSEN, P. G. Semantics of the VDM Real-Time Dialect. Technical Report Electronics and Computer Engineering, [S. l.], v. 2, n. 13, 2013. Disponível em: https://tidsskrift.dk/ece/article/view/21228. Acesso em: 6 may. 2024.