Plant Model Generator from Digital Twin for Purpose of Formal Verification. - Midhun Xavier; Johannes Håkansson; Sandeep Patil; Valeriy Vyatkin (ETFA, 2021)