Nielsen, Claus Ballegaard. 2012. “Modelling Dynamic Topologies via Extensions of VDM-RT”. Technical Report Electronics and Computer Engineering 1 (9). https://doi.org/10.7146/ece.v1i9.21224.