Engineering Real Time Systems by Rolv Braek & Oystein Haugennr