Jogesh K. Muppala Kishor S. Trivedi GSPM models: sensitivity analysis and applications. 25-33 1990 conf/ACMse/1990 ACM Southeast Regional Conference http://doi.acm.org/10.1145/98949.98962 db/conf/ACMse/ACMse1990.html#MuppalaT90