1. 2019. Internet Engineering Task Force. https://www.ietf.org/.
2. 2019. RFC Editor. https://www.rfc-editor.org
3. Y. Acar, C. Stransky , D. Wermke, C. Weir , M. L. Mazurek, and S. Fahl. 2017. Developers Need Support, Too: A Survey of Security Advice for Software Developers. In 2017 IEEE Cybersecurity Development (SecDev). 22--26.
4. Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer. 2015. Automated Checking of Conformance to Requirements Templates Using Natural Language Processing. IEEE Transactions on Software Engineering, Vol. 41 (2015), 944--968.
5. David Basin, Jannik Dreier, Lucca Hirschi, Saga Radomirovic, Ralf Sasse, and Vincent Stettler. 2018. A Formal Analysis of 5G Authentication. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS '18). ACM, New York, NY, USA, 1383--1396. https://doi.org/10.1145/3243734.3243846