Refinement/verification of early stage probabilistic software project schedules in the planning stage | IEEE Conference Publication | IEEE Xplore