Idle speed controller synthesis using an assume-guarantee approach