Formal testing from timed finite state machines | Publicación