Requirement-Based Automated Aspect Verification Boris Vaysburg This presentation will probably involve audience discussion, which will create action items.