@book{1530, author = {Clarke, Edmund M.}, title = {Model checking}, publisher = {The MIT Press, }, year = {2002}, address = {Cambridge: } }