Alchieri, E., Bessani, A., & Fraga, J. 2013 mai 6. Replicação Máquina de Estados Dinâmica. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :