Monteiro, Edwin Juan, Luis Rivero, and Raimundo Barreto.
" A Tool to Support Teaching of Critical Distributed Systems Modeling: A Practical Experience." <em>Proceedings of the 29th Brazilian Symposium on Computers in Education,
Fortaleza/CE, 2018</em>. SBC, 2018,  
pp.218-227.