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