Introduction
Component Verification with Automatically Generated Assumptions*
Deviation Analysis : A New Use of Model Checking
Modular Verification of Open Features Using Three-Valued Model Checking
Desert Island Reading : Back to the Future