@inproceedings{Sankaranarayanan+others/06/Fixed,
  author =       {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},
  title =       {Fixed Point Iteration for Computing the Time Elapse Operator},
  booktitle =   {Hybrid Systems: Computation and Control,
                    9th International Workshop, (HSCC 2006)},
  editor =       {Joćo P. Hespanha, Ashish Tiwari},
  volume = 	 3927,
  pages =        {537--551}
  series = 	 lncs,
  address = 	 {Santa Barbara, CA},
  month = 	 {March},
  publisher =    {Springer Verlag},
  year =         2006
}