Specification Case Studies in RAISE