Security Requirements as Code: Example from VeriDevOps Project. - Khaled Ismaeel; Alexandr Naumchev; Andrey Sadovykh; Dragos Truscan; Eduard Paul Enoiu; Cristina Seceleanu (RE Workshops, 2021)