Qualitative simulation modeling and analysis - Fishwick, Paul A.; Luker, Paul A. (Advances in simulation, 1991)