Toward a Tool-Based Development Methodology for Pervasive Computing Applications | IEEE Journals & Magazine | IEEE Xplore