Real-Time Programming for Embedded Systems