Hassan, H. A., and Z. E. Yousif,  "Model Driven Testing: Using PIM Static and Dynamic Behavior Mathematical Formalization",  World Information Technology Journal , vol. 3, issue 1, pp. 01-10, 2009.