Dobos-Kovács, M., & 		Vörös, A.
(2022).
 Evaluation of SMT solvers in abstraction-based software model checking.
In <em>Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems</em>, (pp. 109–116). Porto Alegre: SBC.