Guest Editorial
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems
CM-Builder
Renaming Detection
Model Checking Programs
Desert Island