@inproceedings{a60e60865c9e4b409442d3206e2e86dc,
title = "Expressing and verifying timing requirements with UML",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "A Al-Daraiseh and J Zalewski and WJ Toetenel",
year = "2001",
language = "Undefined/Unknown",
isbn = "980-07-7557-9",
publisher = "International Institute of Informatics and Systemics",
pages = "461--466",
editor = "{N Callaos} and {... [et Al]}",
booktitle = "ISAS SCI 2001: proceedings",
note = "World Multiconference on Systemics, Cybernetics and Informatics, Orlando ; Conference date: 22-07-2001 Through 25-07-2001",
}