Behzad Bordbar Kozo Okano Verification of Timeliness QoS Properties in Multimedia Systems. 523-540 http://dx.doi.org/10.1007/978-3-540-39893-6_30 2003 conf/icfem/2003 ICFEM db/conf/icfem/icfem2003.html#BordbarO03