Jürgen Falb Thomas Röck Edin Arnautovic Using communicative acts in interaction design specifications for automated synthesis of user interfaces. 261-264 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.71 db/conf/kbse/ase2006.html#FalbRA06