Annegret Habel Karl-Heinz Pennemann Satisfiability of High-Level Conditions. 430-444 2006 conf/gg/2006 ICGT http://dx.doi.org/10.1007/11841883_30 db/conf/gg/icgt2006.html#HabelP06