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