Hard Real-Time Computing Systems (The International Series in Engineering and Computer Science)