M
[MP93] Zohar Manna and Amir Pnueli. Verifying Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 4-35. Springer-Verlag, 1993. 
@inproceedings{hscc1992-MP,
  author =              {Manna, Zohar and Pnueli, Amir},
  title =               {Verifying 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 =               {4-35},
  year =                {1993},
}
List of authors