C. B. Nielsen, “Modelling Dynamic Topologies via Extensions of VDM-RT”, ECE-TR, bd. 1, nr. 9, dec. 2012.