@incollection{Ray08,
title = {Synchronous Program Verification with Lustre/Lesar },
author = {Raymond, Pascal},
year = {2008},
booktitle = {Modeling and Verification of Real-Time Systems},
chapter = {6},
publisher = {ISTE/Wiley},
team = {SYNC},
}