1. DECIDE
2. DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets
3. Betsy Beyer , Chris Jones , Jennifer Petoff , and Niall Richard Murphy . 2016. Site reliability engineering: How Google runs production systems. " O'Reilly Media , Inc .". Betsy Beyer, Chris Jones, Jennifer Petoff, and Niall Richard Murphy. 2016. Site reliability engineering: How Google runs production systems. " O'Reilly Media, Inc.".
4. On the unification power of models
5. BISE Institute JKU Linz. 2022. JsonSchemaDSL. https://zenodo.org/record/5149206#.YuTp-XZBxD9 last accessed on 31/07/22. BISE Institute JKU Linz. 2022. JsonSchemaDSL. https://zenodo.org/record/5149206#.YuTp-XZBxD9 last accessed on 31/07/22.