Mensch-Maschine-Schnittstelle in Echtzeitsystemen - Risak, Veith (Springer, 1986)