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