%0 Book Section %T Testing Semantics for Urgent Timed Process Algebras publisher World Scientific %D 2007 %U 981-02-4424-x %@ https://hdl.handle.net/20.500.14352/53220 %~