Ming Fang Hussein S. M. Zedan Chris Ho-Stuart A model for timed-probabilistic behaviors. 239-251 1995 28 Journal of Systems and Software 3 http://dx.doi.org/10.1016/0164-1212(94)00059-V db/journals/jss/jss28.html#FangZH95