NIELSEN, Claus Ballegaard. Modelling Dynamic Topologies via Extensions of VDM-RT. Technical Report Electronics and Computer Engineering, [S. l.], v. 1, n. 9, 2012. DOI: 10.7146/ece.v1i9.21224. Disponível em: https://tidsskrift.dk/ece/article/view/21224. Acesso em: 5 dec. 2025.