O brModelo é uma ótima ferramenta de modelagem, professora: ele possui todas as restrições e elementos que a modelagem ERR exigem, a única diferença é a notação dele mesmo.
Em contrapartida, eu descobri aqui que, caso você abra o ERRCase sem ser como administrador no Windows, ele dá alguns xabus com o arquivo. Mas abrindo com administrador tudo se resolve.
Recriei rapidamente meu modelo aqui, já tinha ele na cabeça mesmo.