Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg: Semi-automatic controller design of Java-like models. FTfJP@ECOOP 2013: 3:1-3:7