Analysis and Design in MSG.84: Formalizing Functional Specifications | IEEE Journals & Magazine | IEEE Xplore