A new input-output based model coverage paradigm for control blocks | IEEE Conference Publication | IEEE Xplore