Input–Output Tools: A Language Facility for Interactive and Real-Time Systems | IEEE Journals & Magazine | IEEE Xplore