{"inproceedings":{"@attributes":{"key":"conf\/date\/OliveiraZ010","mdate":"2024-08-02"},"author":["Marcio Ferreira da Silva Oliveira","Henning Zabel","Wolfgang M\u00fcller 0003"],"title":"Assertion-based verification of RTOS properties.","pages":"630-633","year":"2010","booktitle":"DATE","ee":["https:\/\/doi.org\/10.1109\/DATE.2010.5457130","http:\/\/dl.acm.org\/citation.cfm?id=1871075"],"crossref":"conf\/date\/2010","url":"db\/conf\/date\/date2010.html#OliveiraZ010"}}