@inproceedings{CR01,
title = {From Control System Design to Embedded Code: The Synchronous Data-Flow Approach },
author = {Caspi, Paul and Raymond, Pascal},
year = {2001},
booktitle = {IEEE-CDC},
team = {SYNC},
}