Kleiber, M., & Kulpa, Z. 2023 Jul 17. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Computer Assisted Methods in Engineering and Science. [Online] 2:3