Formal Testing of Systems Presenting Soft and Hard Deadlines | Publicación