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