RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. - Ildar Nigmatullin; Andrey Sadovykh; Nan Messe; Sophie Ebersold; Jean-Michel Bruel (ICST Workshops, 2022)

RQCODE: Security Requirements Formalization with Testing. - Ildar Nigmatullin; Andrey Sadovykh; Sophie Ebersold; Nan Messe (ICTSS, 2023)