Nielsen, C. B. (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