Torres, Mateus, and Bruno Lopes.
" Model checking Reo connectors with data streams." <em>Proceedings of the 1st Brazilian Workshop of Logic,
Evento Online, 2020</em>. SBC, 2020,  
pp.9-16.