Developing real-time systems. A practical introduction - Evesham, David (Sigma Press, 1990)