System level design of embedded controllers: knock detection, a case study in the automotive domain | IEEE Conference Publication | IEEE Xplore