Describir: The art of designing embedded systems /