@techreport{ ciardo_spnp_1998, title = {{SPNP} users manual}, institution = {Ver. 5.01. Technical report, Duke University, Durham, {NC}}, author = {Ciardo, G and Muppala, {JK} and Trivedi, {KS}}, year = {1998} }