@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}
}