A case study in computer-aided codesign of embedded controllers