A framework for interactive analysis of timing constraints in embedded systems | IEEE Conference Publication | IEEE Xplore