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