Design of PLCs for automated industrial systems based on discrete event models | IEEE Conference Publication | IEEE Xplore