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