Kleiber, MichaƂ, AND Kulpa, Zenon. " Computer-assisted hybrid reasoning in simulation and analysis of physical systems" Computer Assisted Methods in Engineering and Science [Online], Volume 2 Number 3 (17 July 2023)