Bernhard K. Aichernig, Harald Brandl, Franz Wotawa: Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. MBT@ETAPS 2009: 53-69