@incollection{CRT7b,
title = {Synchronous Programming },
author = {Caspi, Paul and Raymond, Pascal and Tripakis, Stavros},
year = {2007},
booktitle = {Handbook of Real-Time amd Embedded Systems},
chapter = {14},
publisher = {Chapman and Hall/CRC},
team = {SYNC},
}