Real-time systems formal specification and automatic verification - Olderog, E.-R.; Dierks, H. (Cambridge, England Cambridge University Press, 2008)
Dr. Adrian Roy Valdez (recommending faculty) : CS Dept.
Keywords: Real-time data processing