A Model-Based Design of Distributed Automation Systems for the Smart Grid: Implementation and Validation | Publicación