Henzinger, T. A., Liu, X., Qadeer, S., &; Rajamani, S. (1999). Formal specification and verification of a dataflow processor array (pp. 494–499). Presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America: IEEE.https://doi.org/10.1109/ICCAD.1999.810700