Return to Article Details Computer-assisted hybrid reasoning in simulation and analysis of physical systems Download Download PDF