2022
3GPP Release-17 Physical Layer Enhancements for LTE-M and NB-IoT.
IEEE Commun. Stand. Mag., December, 2022

2003
Generating online test oracles from temporal logic specifications.
Int. J. Softw. Tools Technol. Transf., 2003