Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol | Publicación