@inproceedings{JHR09,
title = { Synchronous Modeling and Validation of Priority Inheritance Schedulers },
author = {Jahier, Erwan and Halbwachs, Nicolas and Raymond, Pascal},
month = {mar},
year = {2009},
booktitle = {Fundamental Approaches to Software Engineering, FASE'09},
address = {York, U.K.},
team = {SYNC},
}
