Kleiber M, Kulpa Z. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. CAMES. 2023;2(3):165-186. Accessed January 12, 2025. https://cames3.ippt.pan.pl/index.php/cames/article/view/1471