Determining the worst-case blocking sequences for distributed real-time programs | IEEE Conference Publication | IEEE Xplore