Timed Automata and Embedded Systems
Padmanabhan Krishnan · 1999
In this article we present three principal methods for describing real-time systems. They range from very general techniques which are implemented in software to restricted models which can be implemented on PLCs. Various examples to illustrate the main points are also presented.