S. Asadollahi Vahid Rafe Reza Rafeh Adel Torkaman Rahmani Towards Automated Software Verification Using Model Checking Techniques. 305-306 2009 TASE http://dx.doi.org/10.1109/TASE.2009.40 conf/tase/2009 db/conf/tase/tase2009.html#AsadollahiRRR09