Kleiber, M. and Kulpa, Z. 1995. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Computer Assisted Methods in Engineering and Science. 2, 3 (Sep. 1995), 165–186.