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