@techreport{AS11b,
  	author =	{Andr{\'e}, {\'E}tienne and Soulat, Romain},
	institution =	{Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France},
  	month =	may,
  	note =	{31~pages},
  	number =	{LSV-10-21},
  	type =	{Research Report},
	title =	{Synthesis of Timing Parameters Satisfying Safety Properties (full version)},
  	url =	{http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2011-13.pdf},
  	year =	{2011},
	lipn-category = {rapl},
	lipn-time = {ant},
}