Formalizing a path-float-based approach to determine and interpret total float in project scheduling analysis. Issue 4 (2nd October 2017)