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