Specification and Efficient Computation of Passage-Time Distributions in GPA | IEEE Conference Publication | IEEE Xplore