A formal framework to test soft and hard deadlines in timed systems | Publicación