K. Lausdahl, “Enhancing Formal Modelling Tool Support with Increased Automation”, ECE-TR, bd. 1, nr. 4, jul. 2012.