CARAT Case Studies