Return to Article Details Towards the Verification of Pervasive Systems Download Download PDF