Gezgin, T., 		Henkler, S., 		Rettberg, A., & 		Stierand, I.
2012 nov  5.  Abstraction Techniques for Compositional State-Based Scheduling Analysis. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :