Talk at the Joint SSaaPP/FATBIT 2012 Workshop: Model-based Spreadsheet Engineering (Slides in PDF)