@article {14994,
	title = {Model Driven Testing: Using PIM Static and Dynamic Behavior Mathematical Formalization},
	journal = {World Information Technology Journal },
	volume = {3},
	year = {2009},
	pages = {01-10},
	author = {Hesham A. Hassan and Z.E. Yousif}
}
