Conformance Testing in UPPAAL: A diabolic approach. - Emil J. Njor; Florian Lorber; Nikolaj I. Schmidt; Sebastian R. Petersen (ICST Workshops, 2020)