Sohel Khan Abdul Waheed Modeling and Formal Verification of IMPP. 522-528 2003 conf/serp/2003-2 Software Engineering Research and Practice db/conf/serp/serp2003-2.html#KhanW03