Integration of MITL for Cobots Workflow in a Manipulating Application. - Sofia Hustiu; Andrei-Iulian Iancu; Florian-Alexandru Brasoveanu (ETFA, 2024)