Specification and development of interactive systems : FOCUS on streams, interfaces, and refinement / - Broy, M. (Springer, 2001)