Model-based service discovery for next-generation mobile systems | IEEE Journals & Magazine | IEEE Xplore