Bernhard K. Aichernig Harald Brandl Willibald Krenn Qualitative Action Systems. 206-225 2009 ICFEM http://dx.doi.org/10.1007/978-3-642-10373-5_11 conf/icfem/2009 db/conf/icfem/icfem2009.html#AichernigBK09