Zorzo, A.. " A Language Construct for DMIs." Proceedings of the 2nd Workshop on Testing and Fault Tolerance, Curitiba/PR, 2000. SBC, 2000, pp.118-123.