CHARMED: a multi-objective co-synthesis framework for multi-mode embedded systems | IEEE Conference Publication | IEEE Xplore