Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement