Diirr, Bruna, Flávio Horita, and Vânia de Oliveira Neves.
"Prefácio." <em>Anais do I Brazilian Workshop on Large-scale Critical Systems,
Salvador, 2019</em>. SBC, 2019,  
pp.1-12.