Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems | Publicación