LAUSDAHL, Kenneth; COLEMAN, Joey W.; LARSEN, Peter Gorm. Semantics of the VDM Real-Time Dialect. Technical Report Electronics and Computer Engineering, [S. l.], v. 2, n. 13, 2013. DOI: 10.7146/ece.v2i13.21228. Disponível em: https://tidsskrift.dk/ece/article/view/21228. Acesso em: 5 dec. 2025.