Remlein, Piotr, and Urszula Stachowiak. “Security Verification in the Context of 5G Sensor Networks”. Journal of Telecommunications and Information Technology, vol. 84, no. 2, June 2021, pp. 107-19, https://doi.org/10.26636/jtit.2021.153221.