Vol. 1 No. 4 (2012): Enhancing Formal Modelling Tool Support with Increased Automation