A Formal Control Architecture for Collaborative Robotics Applications. - Andrea Maria Zanchettin; Mattia Marconi; Carlo Ongini; Roberto Rossi 001; Paolo Rocco (ICHMS, 2020)