Title: Specification case studies