Barroca, B.; Amaral, V. Asserting the Correctness of Software Language Translations. ECEASST 2012, 50.