AppCraft: Model-Driven Development Framework for Mobile Applications | IEEE Journals & Magazine | IEEE Xplore