Formally-based Model-Driven Development of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Samuele Longoni; Niccolò Iannacci; Matteo Rossi 001; Federico Vicentini (J. Intell. Robotic Syst., 2021)