M. Kleiber and Z. Kulpa, “Computer-assisted hybrid reasoning in simulation and analysis of physical systems”, Comp. Assist. Methods Eng. Sci., vol. 2, no. 3, pp. 165–186, Jul. 2023, Accessed: Jun. 29, 2025. [Online]. Available: https://cames.ippt.pan.pl/index.php/cames/article/view/1471