A Model-based Execution Framework for Interpreting Control Software | Publicación