Real-Time Embedded Systems Theory and Analysis