Generating Exact Approximations to Model Check Concurrent Systems. - Bourahla, Mustapha (International Arab Journal of Information Technology (IAJIT), 2008)