摘要：h.zard prevention in mission plans requires careful analysis and appropriate tools to support th. design of preventive and/or corrective *** is most ch.llenging in systems w.th.large sets of states and complex state *** th. case of sociotech.ical systems,h.zard prevention becomes even more dicult given th.t th. beh.viour of h.man centric components can at best be partially *** th. present article w. focus on a specic class of sociotech.ical systems-namely air spaces containing pilot controlled as w.ll as autonomous aircrafts and introduce th. notion of relevant *** also introduce soft institutions as an appropriate basis for analysis,w.th.th. aim of addressing relevant *** concept of soft institutions is draw. from specication languages for interaction betw.en agents in multi-agent systems but,in our case,is adapted for use in systems th.t combine h.man and automated actors.