@inproceedings{ACP11,
title = {Correct Implementation of Open Real-Time Systems },
author = {Abdellatif, Tesnim and Combaz, Jacques and Poulhi\`es, Marc},
year = {2011},
booktitle = {37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011},
pages = {57-64},
publisher = {IEEE},
team = {DCS},
}
