Temporal Costs of Computing Unit Redundancy in Steady and Transient State.- SIPE: A Domain-Specific Language for Specifying Interactive...