Lausdahl, K. 2012. Enhancing Formal Modelling Tool Support with Increased Automation. Technical Report Electronics and Computer Engineering. 1, 4 (Jul. 2012). DOI:https://doi.org/10.7146/ece.v1i4.21219.