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

Towards Time-Sensitive Behavioral Contract Monitors for IEC 61499 Function Blocks. - Duc Do Tran; Jörg Walter 001; Kim Grüttner; Frank Oppenheimer (ICPS, 2020)