A Model-Driven Approach to Automated Diagnosis of Industrial Distributed I/O Systems Based on Fieldbus Technologies