M. Dobos-Kovács, Á. Hajdu, and A. Vörös.
" Bitvector Support in the Theta Formal Verification Framework", in <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems</em>, Florianópolis, 2021.