Dang Van Hung Real-Time Systems Development with Duration Calculi: An Overview. 81-96 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=81 2002 conf/unu/2002 10th Anniversary Colloquium of UNU/IIST db/conf/unu/unu2002.html#Hung02