C. B. Nielsen, “Modelling Dynamic Topologies via Extensions of VDM-RT”, ECE-TR, vol. 1, no. 9, Dec. 2012.