Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures - Basin, David; Doser, Jürgen (Inst. f. Informatik TUM, 2004)