H
[HMP93] Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. Towards Refining Temporal Specifications into Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 60-76. Springer-Verlag, 1993. 
@inproceedings{hscc1992-HMP,
  author =              {Henzinger, Thomas A. and Manna, Zohar and Pnueli,
                         Amir},
  title =               {Towards Refining Temporal Specifications into Hybrid
                         Systems},
  editor =              {Grossman, Robert L. and Nerode, Anil and Ravn,
                         Anders P. and Rischel, Hans},
  booktitle =           {{H}ybrid {S}ystems ({HSCC}'92)},
  acronym =             {{HSCC}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {736},
  pages =               {60-76},
  year =                {1993},
}
List of authors