A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments Breadcrumbs UL Home Research Publications Year of Publication 2022 Journal Applied Sciences (Switzerland) DOI 10.3390/app12157506