https://5dok.net/document/lq58npwq-evaluating-the-stream-control-transmission-protocol-using-uppaal.html