On the effectiveness of UML, executable models, and choosing which details to include in a model: https://modeling-languages.com/models-to-code-interview-leon-starr/