Real Time Computing (NATO Asi Series. Series F, Computer and Systems Sciences, Vol. 127)