GEZGIN, Tayfun; 						HENKLER, Stefan; 						RETTBERG, Achim; 						STIERAND, Ingo.
 Abstraction Techniques for Compositional State-Based Scheduling Analysis. <em>In</em>: BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2.	, 2012, Natal/RN.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2012
.
 p. 166-171. 
			ISSN 2237-5430.