Constraints graph based approach for the control of time critical systems | IEEE Conference Publication | IEEE Xplore