Describir: Real-Time Embedded Systems