Describir: Applied Control Theory for Embedded Systems