Manuel Leuenberger Software Composition Group Phone +41 31 511 7639 E-Mail manuel.leuenberger@inf.unibe.ch Office 106 Postal Address Schützenmattstrasse 14 3012 Bern