@article{350311,
      url = {http://digitallibrary.un.org/record/350311},
      title = {Formal design of hybrid systems},
      publisher = {UN University :},
      recid = {350311},
      pages = {i, 20 p.},
      address = {Tokyo :. 1994-02},
      year = {1994},
      month = {Feb},
}