Claus Brabrand TeaConc 2007 – invited talkJune 25, 2007 Constructive Alignment for Teaching Model-Based Design for Concurrency Claus Brabrand ((( [email protected].