Nielsen, Claus Ballegaard. “Modelling Dynamic Topologies via Extensions of VDM-RT”. Technical Report Electronics and Computer Engineering, bd. 1, nr. 9, december 2012, doi:10.7146/ece.v1i9.21224.