Safety Discrete Event Models for Production Lines with Shared Resources | IEEE Conference Publication | IEEE Xplore