@inproceedings{JHR13,
title = { Engineering Functional Requirements of Reactive Systems using Synchronous Languages },
author = {Jahier, Erwan and Halbwachs, Nicolas and Raymond, Pascal},
month = {06},
year = {2013},
booktitle = {International Symposium on Industrial Embedded Systems, 2013. SIES'13.},
address = {Porto, Portugal},
team = {SYNC},
}
