- Specification's authors: Steffen Zschaler
- Original paper: Zschaler, Steffen. Formal specification of non-functional properties of component-based software systems. Software & Systems Modeling 9.2 (2010): 161-201.
- Extended modules: Real, Nat
- Computation models: no faults
- Some properties checked with TLC: ExecutionTimesOk, TimedCPUScheduler
- TLA+ files