Deriving Qualitative Properties from Physical Process Behavior in Control Engineering. - R. Michau; Sylviane Gentil; C. Bassot (Interact. Learn. Environ., 1998)