Conformance Testing in UPPAAL: A diabolic approach | IEEE Conference Publication | IEEE Xplore