Gezgin, Tayfun, Stefan Henkler, Achim Rettberg, and Ingo Stierand.
" Abstraction Techniques for Compositional State-Based Scheduling Analysis." <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Natal/RN, 2012</em>. SBC, 2012,  
pp.166-171.