Towards a formal engineering framework for process automation
Abstract
This paper describes an attempt towards a formal engineering framework for process automation aiming at facing the reusability of the engineering studies on industrial systems.