Nitish Patkar Software Composition Group Telefon +41 31 511 7643 E-Mail nitish.patkar@inf.unibe.ch Büro 206 Postadresse Schützenmattstrasse 14 3012 Bern