@inproceedings{MC05b,
title = {Temporal Refinement for Lustre },
author = {Mik{\'a}c, Jan and Caspi, Paul},
year = {2005},
booktitle = {Synchronous Languages Applications and Programming, SLAP'05},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
team = {SYNC},
}