Nielsen, C.B. 2012. Modelling Dynamic Topologies via Extensions of VDM-RT. Technical Report Electronics and Computer Engineering. 1, 9 (Dec. 2012).