Edwin Juan Monteiro, Luis Rivero, and Raimundo Barreto. 2018.
 A Tool to Support Teaching of Critical Distributed Systems Modeling: A Practical Experience. In <em>Proceedings of the 29th Brazilian Symposium on Computers in Education</em>, October 29, 2018, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 218-227. DOI: <a href="https://doi.org/10.5753/cbie.sbie.2018.218">https://doi.org/10.5753/cbie.sbie.2018.218</a>.