Modularity and Architecture of PLC-based Software for Automated Production Systems: An analysis in industrial companies
A taxonomy of model-based testing approaches