V Vyatkin, HM Hanisch, T Pfeiffer - … International Conference on …, 2003 - ieeexplore.ieee.org
We introduce a framework for formal modeling and validation of automation systems
destined to use by control engineers. The framework is based on a modeling formalism of …