Zorzo, A. (2000). A Language Construct for DMIs. In Proceedings of the 2nd Workshop on Testing and Fault Tolerance, (pp. 118-123). Porto Alegre: SBC. doi:10.5753/wtf.2000.23485