Nazmeen, M. , Rubab, I. (2010). 'Data and Control Flow Analysis of VDMµ Specifications'. World Academy of Science, Engineering and Technology, Open Science Index 40, International Journal of Computer and Information Engineering, 4(4), 730 - 735.