Verification of Mobile SMS Application with Model Checking Agent | IEEE Conference Publication | IEEE Xplore