MODEL CHECKING - CLARKE, E.M. : GRUMBERG, O. : PELED ,D.A. (LONDON : MIT, 2001)
Keywords: SYSTEM ANALYSIS : SOFTWRAE ENGINEERING