Isolation of behavior design from system implementation | IEEE Conference Publication | IEEE Xplore