@inproceedings{4506,
  abstract     = {We propose a formal framework for designing hybrid systems by stepwise refinement. Starting with a specification in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system.},
  author       = {Henzinger, Thomas A and Manna, Zohar and Pnueli, Amir},
  booktitle    = {International Hybrid Systems Workshop},
  editor       = {Grossman, Robert and Nerode, Anil and Ravn, Anders and Rischel, Hans},
  isbn         = {978-3-540-57318-0},
  pages        = {60 -- 76},
  publisher    = {Springer},
  title        = {{Towards refining temporal specifications into hybrid systems}},
  doi          = {10.1007/3-540-57318-6_24},
  volume       = {736},
  year         = {1993},
}