Lausdahl, K. (2012) “Enhancing Formal Modelling Tool Support with Increased Automation”, Technical Report Electronics and Computer Engineering, 1(4). Available at: https://tidsskrift.dk/ece/article/view/21219 (Accessed: 1 May 2024).