Model Checking and Verification of Synchronisation Properties of Cobot Welding. - Yvonne Murray; Henrik Nordlie; David A. Anisi; Pedro Ribeiro 002; Ana Cavalcanti 001 (FMAS@iFM, 2024)