V Vyatkin, HM Hanisch - … and Factory Automation: 19/09/2005-22/09 …, 2005 - diva-portal.org
This paper describes formal modeling and verification of automation systems from the
system engineering point of view. Reuse of model components is the key issue in order to …