Report - Formal modelling and analysis of socio-technical systems · Formal Modelling and Analysis of Socio-technical Systems ChristianW.Probst1,FlorianKammüller2,andRenéRydhofHansen3 1

Please pass captcha verification before submit form