Predictive System-Level Constraint Verification and Optimization | VDE Conference Publication | IEEE Xplore