V Vyatkin, G Bouzon - EURASIP Journal on Embedded Systems, 2008 - researchgate.net
Formal verification of industrial automation systems requires three constituent components:
a model of the controller, a model of the uncontrolled plant, and a specification of desired or …