Kleiber, M.; Kulpa, Z. Computer-Assisted Hybrid Reasoning in Simulation and Analysis of Physical Systems. CAMES 2023, 2 (3), 165-186.