Specification case studies in RAISE | lit.salon