Couto, L. D. On the Extensibility of Formal Methods Tools; Ph.D-afhandlinger; AU Library Scholarly Publishing Services: Aarhus, DK, 2016.