IMD promove competição para difundir práticas industriais em Métodos Formais