KLEIBER, Michał; KULPA, Zenon. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Computer Assisted Methods in Engineering and Science, [S. l.], v. 2, n. 3, p. 165–186, 2023. Disponível em: https://cames3.ippt.pan.pl/index.php/cames/article/view/1471. Acesso em: 12 jan. 2025.