@inproceedings{ALSDL13,
  	address =	{Heidelberg, Germany},
  	author =	{Andr{\'e}, {\'E}tienne and Liu, Yang and Sun, Jun and Dong, Jin Song and Lin, Shang-Wei},
  	booktitle =	{CAV'13},
  	editor =	{Natasha Sharygina and Helmut Veith},
  	location =	{Saint Petersburg, Russia},
  	month =		jul,
  	pages =		{984-989},
  	publisher =	{Springer},
  	series =	{Lecture Notes in Computer Science},
  	title =		{{PSyHCoS}: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},
  	volume =	{8044},
	year =		{2013},
   	lipn-category = "intc",
  	keywords = {intc},
}