Monteiro, E., 		Rivero, L., & 		Barreto, R.
(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>, (pp. 218-227). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2018.218