Reasoning about opportunistic schedules | IEEE Conference Publication | IEEE Xplore