UNIX STREAMS Generation from a Formal Specification. - Pawel Rychwalski; Jacek Wytrebowicz (FORTE, 2003)