Generating online test oracles from temporal logic specifications. - John Håkansson; Bengt Jonsson 001; Ola Lundqvist (Int. J. Softw. Tools Technol. Transf., 2003)

3GPP Release-17 Physical Layer Enhancements for LTE-M and NB-IoT. - Gerardo Agni Medina-Acosta; Liping Zhang; Jie Chen; Kazuyoshi Uesaka; Yuan Wang; Ola Lundqvist; Johan Bergman (IEEE Commun. Stand. Mag., 2022)