Model-based spreadsheet engineering - Cunha, Jácome Miguel Costa (2011)