Choosing Abstraction Levels for Model-based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs | Publicación