You are about to access our book library "Handbook of Model Checking full version" .