Automatic Refinement of Platform Independent Models Using Graph Transformation System. - Sattar Hashemi; M. R. ZadMiralvad (FCST, 2009)