Flush: a system development tool based on scade/lustre.

Jan Mikc, Paul Caspi

Browse the full FMICS paper archive.