A. Zorzo. 2000. A Language Construct for DMIs. In Proceedings of the 2nd Workshop on Testing and Fault Tolerance, July 15, 2000, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 118-123. DOI: https://doi.org/10.5753/wtf.2000.23485.