@article{368286, url = {http://digitallibrary.un.org/record/368286}, title = {An extended duration calculus for real-time systems}, publisher = {UN University :}, recid = {368286}, pages = {i, 26 p.}, address = {Tokyo :. 1993}, year = {1993}, }