Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications | IEEE Journals & Magazine | IEEE Xplore