@article{Cas00,
title = {Langages pour la conception de syst\`emes r\'eactifs },
author = {Caspi, Paul},
year = {2000},
journal = {Technique et science informatique},
pages = {123--130},
volume = {19},
team = {SYNC},
}