@article{367107,
      url = {http://digitallibrary.un.org/record/367107},
      title = {A duration calculus approach to specifying a steam-boiler  control system},
      publisher = {UN University :},
      recid = {367107},
      pages = {i, 46 p.},
      address = {Tokyo :. 1995-02},
      year = {1995},
      month = {Feb},
}