Dobos-Kovács, M., 		Hajdu, Ã., & 		Vörös, A.
2021 Nov 22.  Bitvector Support in the Theta Formal Verification Framework. Proceedings of the Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :