@article{ALSD14,
  	author =	{Andr\'e, {\'E}tienne and Liu, Yang and Sun, Jun and Dong, Jin Song},
  	journal =	{Real-Time Systems},
  	publisher = {Springer},
  	title =	{Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},
  	year =	{2014},
  	volume =	{50},
  	doi = {10.1007/s11241-014-9208-6},
  	month =	{sep},
  	number =	{5-6},
  	pages =	{620-679},
}