Specification and Verification of Component Based Systems
Reachability Analysis for Annotated Code