Lausdahl K. Enhancing Formal Modelling Tool Support with Increased Automation. ECE-TR [Internet]. 2012 Jul. 2 [cited 2024 May 1];1(4). Available from: https://tidsskrift.dk/ece/article/view/21219