Pourvatan, Sirjani, Hojjat, Arbab, 2009. Automated Analysis of Reo Circuits using Symbolic Execution 255.. https://doi.org/10.1016/j.entcs.2009.10.029