Evaluating the Stream Control Transmission Protocol Using Uppaal. - Shruti Saini; Ansgar Fehnker (MARS@ETAPS, 2017)