Refinement of system-level designs using hybrid modeling | IEEE Conference Publication | IEEE Xplore