K. Lausdahl, “Enhancing Formal Modelling Tool Support with Increased Automation”, ECE-TR, vol. 1, no. 4, Jul. 2012.