KB 1992 | Manual Specification of Time-Dependent Properties