P. Remlein and U. Stachowiak, “Security Verification in the Context of 5G Sensor Networks”, JTIT, vol. 84, no. 2, pp. 107–119, Jun. 2021, doi: 10.26636/jtit.2021.153221.