Characterization of operational time variability using effective process times | IEEE Journals & Magazine | IEEE Xplore