Y. Demyanova, P. Rümmer, F. Zuleger:
"Systematic Predicate Abstraction Using Variable Roles";
Talk: NASA Formal Methods (NFM), Moffett Field, CA, USA; 2017-05-16 - 2017-05-18; in: "NASA Formal Methods - 9th International Symposium, NFM 2017", (2017), 265 - 281.