Responsive computer systems - Kopetz, H; Kakuda, Y (Springer Verlag, 1993)