@article{MC09,
title = {Flush: an example of development by refinements in SCADE/Lustre },
author = {Mik{\'a}c, Jan and Caspi, Paul},
year = {2009},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
number = {5},
volume = {11},
team = {SYNC},
}