@Article{Schieferdecker1993a,
  author     = {Ina Kathrin Schieferdecker},
  title      = {Verifying Performance Oriented Properties of TIS Specifications},
  issn       = {0232-9298},
  pages      = {139--162},
  volume     = {13, no. 1-2},
  journal    = {Syst. Anal. Model. Simul.},
  numpages   = {24},
  publisher  = {Gordon and Breach Science Publishers, Inc.},
  type       = {article},
  year       = {1993}
}