Schieferdecker, I.K.I.K.Schieferdecker2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/32550910.1007/3-540-59293-8_234The 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.en004400conference paper