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