@inproceedings{CGO-2019-GomesB,
	acmid         = "3314908",
	author        = "Renata Martins Gomes and Marcel Baunach",
	booktitle     = "{Proceedings of the 17th International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2019.8661170",
	isbn          = "978-1-7281-1436-1",
	pages         = "271--272",
	publisher     = "{IEEE}",
	title         = "{Code Generation from Formal Models for Automatic RTOS Portability}",
	year          = 2019,
}