Bounded delay timing analysis of a class of CSP programs with choice | IEEE Conference Publication | IEEE Xplore