Duc Do Tran, Kim Grüttner, Frank Oppenheimer, Wolfgang Nebel: Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499. ETFA 2020: 156-163