Rapid estimation of control delay from high-level specifications | IEEE Conference Publication | IEEE Xplore