@InProceedings{Schieferdecker1995b,
  author    = {Ina Kathrin Schieferdecker},
  booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  title     = {Performance-Oriented Formal Specifications - the LotoTis Approach},
  doi       = {10.1007/3-540-59293-8_234},
  pages     = {772--786},
  publisher = {Springer Science and Business Media},
  abstract  = {The paper presents the performance-oriented, Lotos extension Loto Tis. Loto Tis allows us to specify performance-oriented behavior via quantified time, quantified nondeterminism, quantified parallelism, and action monitoring. It offers a set of refinement rules from Lotos to Loto Tis. Therefore, Loto Tis supports the standard conform development of performance-oriented specifications from existing Lotos specifications.},
  file      = {:1995/Schieferdecker1995b - Performance Oriented Formal Specifications the LotoTis Approach.pdf:PDF},
  type      = {conference},
  year      = {1995}
}