Modeling and Verification of Context-Awareness Service for Time Critical Applications Using Colored Petri-Net | IEEE Conference Publication | IEEE Xplore