Real Time Systems: Specification, Verification, And Analysis 1996