Daniel Toledo and Bruno Lopes. 2019.
 Checking of Reo templates using nuXmv. In <em>Proceedings of the 3rd Regional School on Informatics of Rio de Janeiro</em>, April 20, 2019, Niterói, Brasil. SBC, Porto Alegre, Brasil, 33-36.