Verification of real‐time systems design | Publicación