Formal testing of systems presenting soft and hard deadlines | Publicación