Kleiber, Michał, and Zenon Kulpa. “Computer-Assisted Hybrid Reasoning in Simulation and Analysis of Physical Systems”. Computer Assisted Methods in Engineering and Science, vol. 2, no. 3, July 2023, pp. 165-86, https://cames3.ippt.pan.pl/index.php/cames/article/view/1471.