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