Title: Real-Time Systems
First published: April 2001