Kleiber M, Kulpa Z. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. CAMES [Internet]. 2023 Jul. 17 [cited 2025 Apr. 19];2(3):165-86. Available from: https://cames3.ippt.pan.pl/index.php/cames/article/view/1471