Describir: Applied control theory for embedded systems /