Calculating the response time based on action flow in Stochastic Process Algebra models | IEEE Conference Publication | IEEE Xplore