@inproceedings{ALSD12,
  	address =	{Paris, France},
  	author =	{Andr\'e, {\'E}tienne and Liu, Yang and Sun, Jun and Dong, Jin-Song},
  	booktitle =	{Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems ({ICECCS}'12)},
  	editor =	{Perseil, Isabelle and Pouzet, Marc and Breitman, Karin},
  	month =	jul,
	pages =	{253-262}, 
   	publisher =	{IEEE Computer Society},
  	title =	{Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},
  	year =	{2012},
}