@inproceedings{RMP+13,
title = { Timing analysis enhancement for synchronous program },
author = {Raymond, Pascal and Maiza, Claire and Parent-Vigouroux, Catherine and Carrier, Fabienne},
year = {2013},
booktitle = {RTNS},
pages = {141-150},
team = {SYNC},
}
