Um sistema de detecção de conflitos com invalidação mista para a linguagem CMTJava - Bandeira, Rafael de Leão (2013)