Title: A real time operating system for SMART data terminals