Nielsen, C. B. (2012) “Modelling Dynamic Topologies via Extensions of VDM-RT”, Technical Report Electronics and Computer Engineering, 1(9). Available at: https://tidsskrift.dk/ece/article/view/21224 (Accessed: 3 May 2024).