Couto, L. D. On the Extensibility of Formal Methods Tools; Ph.D. dissertations; Aarhus University: Aarhus, DK, 2016. https://doi.org/10.7146/aul.118.106.