A Model-Based Approach for Timing Analysis of Industrial Automation Systems | Publicación