Hassan, A. H., and Z. E. Yousif,  "Test Cases Generation Using a Mathematical Representation for the Dynamic Behavior of PIM",  Journal of Mathematics and Technology, April, vol. 26, 2010.