Air Traffic Management Case Study SecBPMN2 models RamadanQusai 2017 The bpmn models that are provided in <em>my.example</em> directory represnts a SecBPMN2 models for our <em>Air Traffic Management System</em> case study. Please note that you can not open or modify these models directly from your Eclipse. These models are designed by using the <a href="https://github.com/grammarware/models17/blob/master/ramadan/myexample.zip">Socio-Technical-System (STS) tool</a>. To view and modify these bpmn models please follow the provided in the README file.