Duc Do Tran, Kim Grüttner, Frank Oppenheimer, Wolfgang Nebel. Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020. pages 156-163, IEEE, 2020. [doi]
Abstract is missing.