Engineering Real Time Systems door Rolv Braek & Oystein Haugennr