Supporting Transformations across User Interface Descriptions at Various Abstraction Levels. - Mauro Lisai; Fabio Paternò; Carmen Santoro; Lucio Davide Spano (INTERACT (4), 2011)