Real time systems Specification,verification and analysis. - Joseph Mathai Ed. (London Prentice-Hall, 1996)
Keywords: Real-Time Systems