Correction: A framework for embedded software portability and verification: from formal models to low-level code.

Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach