Pooja Rani Software Composition Group Phone +41 31 511 7639 E-Mail pooja.rani@inf.unibe.ch Office 106 Postal Address Schützenmattstrasse 14 3012 Bern