A Framework for Engineering Pervasive Applications Applied to Intra-vehicular Sensor Network Applications