F., L., and S. M.,  "Applying Symbolic Techniques To The Representation Of Non-markovian Models With Continuous Ph Distributions",  LECTURE NOTES IN COMPUTER SCIENCE, pp. 44?58, 10 July, 2009.