Nielsen CB. Modelling Dynamic Topologies via Extensions of VDM-RT. ECE-TR [Internet]. 2012 Dec. 2 [cited 2024 May 4];1(9). Available from: https://tidsskrift.dk/ece/article/view/21224