@InProceedings{ ,
  author = 	 {Tom{\'a}{\v s} Dzetkuli{\v c} and Stefan Ratschan},
  editors =      {U. Fahrenberg and S. Tripakis},
  title = 	 {Incremental Computation of Succinct Abstractions For Hybrid Systems},
  booktitle =    {FORMATS 2011},
  series =       {LNCS},
  volume =       {6919}, 
  pages =        {271--285},
  publisher =    {Springer, Heidelberg (2011)},
  howpublished = {\url{http://www.cs.cas.cz}},
  year = 	 2011}