LAUSDAHL, K. Enhancing Formal Modelling Tool Support with Increased Automation. Technical Report Electronics and Computer Engineering, [S. l.], v. 1, n. 4, 2012. Disponível em: https://tidsskrift.dk/ece/article/view/21219. Acesso em: 1 may. 2024.