Nielsen, C. B. Modelling Dynamic Topologies via Extensions of VDM-RT. ECE-TR 2012, 1.