Conformance Testing Relations for Timed Systems | Publicación