T. Gezgin, S. Henkler, A. Rettberg, and I. Stierand.
" Abstraction Techniques for Compositional State-Based Scheduling Analysis", in <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Natal/RN, 2012, pp. 166-171.