Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'

Aircraft ground servicing - Event-B Model This dataset is supporting the journal article 'Analysing the safety implications of security risks in cyber-physical systems' in The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II https://link.springer.com/chapter/10.1007/978-3-031-66673-5_6 This dataset contains: - `Servicing.zip'. Archive file containing two projects: Servicing_InitialDesign and Servicing_TimeBoundedReliability. The projects can be imported into the Rodin platform (instructions for installing in the Readme file). The models in this dataset are developed as part of the VabMo2 (Validation by Modelling 2) project (2023-24), funded by Airbus, Germany. The dataset is available under CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/)