Stakeholders state their requirements and specify the norms. The tool generates a NuSMV model and verifies it with respect to the requirements. It displays results for each requirement. For a failed requirement, it suggests a design pattern. Stakeholders choose to apply the suggested pattern. The tool updates the verification results accordingly.