Lausdahl, K. Enhancing Formal Modelling Tool Support With Increased Automation. ECE-TR 2012, 1.