Methodological Approaches to Multi-Process Modeling of the Lifecycle of Automated Control Systems | IEEE Conference Publication | IEEE Xplore