Kleiber, M., & Kulpa, Z. (2023). Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Computer Assisted Methods in Engineering and Science, 2(3), 165-186. https://cames3.ippt.pan.pl/index.php/cames/article/view/1471