Ivan Bratko Deriving qualitative control for dynamic systems. 373-394 1993 conf/mi/1993 Machine Intelligence 14 db/conf/mi/mi1993.html#Bratko93