In the context of software process modeling, we face the challenge that companies often want to also adopt agile principles in their processes. However, agile methods, basically, comprise a set of values and practices that are described in only a few words. Nevertheless, when it comes to integrating agile methods and rich processes, it often remains unclear what a good integration looks like. We conducted research on good integration strategies that are based on process engineering frameworks such as EPF. For this, we need formal models of agile methods. Although we have several experiences and first models ourself, we are also aware that most of related work can be found in the "grey literature".
Therefore my question: Who has studies on formalizing agile methods at hand? I look for models and experiences of integrating agile methods and rich processes. Any help is welcome.
PS: Please no pure success stories.