Dobos-Kovács, Mihály, 		Hajdu, Ákos, AND 		Vörös, András.
" Bitvector Support in the Theta Formal Verification Framework" <em>Proceedings of the Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS)</em> [Online], (22 November 2021)