Lausdahl, Kenneth. 2012. “Enhancing Formal Modelling Tool Support With Increased Automation”. Technical Report Electronics and Computer Engineering 1 (4). https://tidsskrift.dk/ece/article/view/21219.