Presentation of our journal paper: The Role of Formalism in System Requirements, published together with Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer, in the ACM Computing Surveys, Volume 54, Issue 5, June 2021, pp 1–36.
https://dl.acm.org/doi/10.1145/3448975.