Collaborative Creativity: From Hand Drawn Sketches to Formal Domain Specific Models and Back Again.