Given a discrete-state continuous-time reactive system, like a digital circuit, the classical approach is to first model it as a state transition system and then prove its properties. Our contribution advocates a different approach: to directly operate on the input-output behavior of such systems, without identifying states and their transitions in the first place. We discuss the benefits of this approach at hand of some examples, which demonstrate that it nicely integrates with concepts of self-stabilization and fault-tolerance. We also elaborate on some unexpected artefacts of module composition in our framework, and conclude with some open research questions.

翻译：鉴于一个离散的连续时间反应系统,像数字电路一样,传统的方法是首先将它建为州过渡系统,然后证明它的特性。 我们的贡献主张一种不同的方法:直接操作这种系统的投入-产出行为,而没有首先确定国家及其过渡情况。 我们讨论目前一些例子,表明这种方法与自我稳定概念和自我容忍概念融为一体。我们还详细介绍了我们框架中一些出乎意料的模块构成的手工艺品,最后提出了一些公开的研究问题。