Dobos-Kovács, M., 		Hajdu, Á., & 		Vörös, A.
(2021).
 Bitvector Support in the Theta Formal Verification Framework.
In <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems</em>. Porto Alegre: SBC.