Real-Time Systems And Programming Languages by Alan Burns & Andy Wellings