Herbert Kay Benjamin Kuipers Numerical Behavior Envelopes for Qualitative Models. 606-613 1993 conf/aaai/1993 AAAI db/conf/aaai/aaai93.html#KayK93 http://www.aaai.org/Library/AAAI/1993/aaai93-091.php