Couto, L. D. (2016). On the Extensibility of Formal Methods Tools. Aarhus Universitet. https://doi.org/10.7146/aul.118.106