Couto, Luis Diogo. On the Extensibility of Formal Methods Tools. Aarhus Universitet, 2016, https://doi.org/10.7146/aul.118.106.