Lausdahl, K. (2012). Enhancing Formal Modelling Tool Support with Increased Automation. Technical Report Electronics and Computer Engineering, 1(4). Retrieved from https://tidsskrift.dk/ece/article/view/21219