Presentation at MiSE 2014 @ ICSE in Hyderabad, India https://sselab.de/lab2/public/wiki/MiSE/index.php?title=Main_Page