Verification of device drivers and intelligent controllers: a case study