Overview
•Scenarios
–Conversion
–Verification
–Correction
•Subsystem model
•Screen Shots
•Hardware/software
allocation
•API decisions
•Description of
decorated scenario
•Status of subsystem
development
•Schedule