Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. - Tobias R. Gundersen; Florian Lorber; Ulrik Nyman; Christian Ovesen (GandALF, 2018)