Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. - Polina Ovsiannikova; Etienne Le Priol; Vincent Perret; Pranay Jhunjhunwala; Midhun Xavier; Valeriy Vyatkin (ISIE, 2023)