Nielsen, C. B. (2012). Modelling Dynamic Topologies via Extensions of VDM-RT. Technical Report Electronics and Computer Engineering, 1(9). Retrieved from https://tidsskrift.dk/ece/article/view/21224