@inproceedings(Al-Bataineh2012,
 author       = {Al-Bataineh, Omar and Tim French and Terry Woodings},
 year         = {2012},
 title        = {{Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL}},
 booktitle    = {2012 19th International Symposium on Temporal Representation and Reasoning (TIME)},
 publisher    = {IEEE},
 pages        = {65--72},
 doi          = {10.1109/TIME.2012.12},
 url          = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6311116},
)
@inproceedings(aura2004effects,
 author       = {Tuomas Aura and Pekka Nikander and Gonzalo Camarillo},
 year         = {2004},
 title        = {Effects of mobility and multihoming on transport-protocol security},
 booktitle    = {Security and Privacy, 2004. Proceedings. 2004 IEEE Symposium on},
 organization = {IEEE},
 pages        = {12--26},
 doi          = {10.1109/SECPRI.2004.1301312},
)
@article(Behrmann2002,
 author       = {Gerd Behrmann and Johan Bengtsson and Alexandre David and Kim G Larsen and Paul Pettersson and Wang Yi},
 year         = {2002},
 title        = {{UPPAAL Implementation Secrets}},
 journal      = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
 pages        = {3--22},
 doi          = {10.1007/3-540-45739-9_1},
)
@article(Behrmann2004,
 author       = {Gerd Behrmann and Alexandre David and Kim G Larsen},
 year         = {2004},
 title        = {{A Tutorial on Uppaal}},
 journal      = {Formal methods for the design of real-time systems},
 number       = {November},
 pages        = {200--236},
 doi          = {10.1007/978-3-540-30080-9_7},
)
@inproceedings(boussen2009performance,
 author       = {Sinda Boussen and Nabil Tabbane and Sami Tabbane},
 year         = {2009},
 title        = {Performance analysis of SCTP protocol in WiFi network},
 booktitle    = {Computer Sciences and Convergence Information Technology, 2009. ICCIT'09. Fourth International Conference on},
 organization = {IEEE},
 pages        = {178--182},
 doi          = {10.1109/ICCIT.2009.30},
)
@article(Dreibholz2011,
 author       = {Thomas Dreibholz and Erwin P Rathgeb and Irene Rüngeler and Robin Seggelmann and Michael Tüxen and Randall R Stewart},
 year         = {2011},
 title        = {{Stream control transmission protocol: Past, current, and future standardization activities}},
 journal      = {Communications Magazine, IEEE},
 volume       = {49},
 number       = {4},
 pages        = {82--88},
 doi          = {10.1109/MCOM.2011.5741151},
)
@book(Kozierok2005,
 author       = {Charles M. Kozierok},
 year         = {2005},
 title        = {{The TCP/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference}},
 edition      = {1},
 publisher    = {No Starch Press},
 address      = {San Francisco},
 url          = {http://www.tcpipguide.com},
)
@article(Natarajan2009,
 author       = {Preethi Natarajan and Fred Baker and Paul D Amer and Jonathan T Leighton},
 year         = {2009},
 title        = {{SCTP: What, why, and how}},
 journal      = {Internet Computing, IEEE},
 volume       = {13},
 number       = {5},
 pages        = {81--85},
 doi          = {10.1109/MIC.2009.114},
)
@article(Palattella2013,
 author       = {Maria Rita Palattella and Nicola Accettura and Xavier Vilajosana and Thomas Watteyne and Luigi Alfredo Grieco and Gennaro Boggia and Mischa Dohler},
 year         = {2013},
 title        = {{Standardized protocol stack for the internet of (important) things}},
 journal      = {Communications Surveys \& Tutorials, IEEE},
 volume       = {15},
 number       = {3},
 pages        = {1389--1406},
 doi          = {10.1109/SURV.2012.111412.00158},
)
@techreport(Postel1981,
 author       = {Jon Postel},
 year         = {1981},
 title        = {{Transmission Control Protocol}},
 type         = {Technical Report},
 institution  = {DARPA Information Processing Techniques Office},
 url          = {http://www.ietf.org/rfc/rfc793.txt},
)
@article(Sehgal2012,
 author       = {Anuj Sehgal and Vladislav Perelman and Siarhei Kuryla and Jurgen Schonwalder},
 year         = {2012},
 title        = {{Management of resource constrained devices in the internet of things}},
 journal      = {Communications Magazine, IEEE},
 volume       = {50},
 number       = {12},
 pages        = {144--149},
 doi          = {10.1109/MCOM.2012.6384464},
)
@techreport(Stalvig2007,
 author       = {Paul Stalvig},
 year         = {2014},
 title        = {{Introduction to the Stream Control Transmission Protocol (SCTP): The next generation of the Transmission Control Protocol (TCP)}},
 type         = {Technical Report},
 url          = {https://f5.com/resources/white-papers/introduction-to-the-stream-control-transmission-protocol},
)
@techreport(Stewart2007,
 author       = {Randall Stewart},
 year         = {2007},
 title        = {{Stream Control Transmission Protocol}},
 type         = {Technical Report},
 institution  = {Network Working Group},
 url          = {http://tools.ietf.org/html/rfc4960.},
)
@article(Wallace2012,
 author       = {T Daniel Wallace and Abdallah Shami},
 year         = {2012},
 title        = {{A review of multihoming issues using the stream control transmission protocol}},
 journal      = {Communications Surveys \& Tutorials, IEEE},
 volume       = {14},
 number       = {2},
 pages        = {565--578},
 doi          = {10.1109/SURV.2011.051111.00096},
 url          = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5875919},
)
@techreport(WesleyM.2007,
 author       = {{Wesley M.}, Eddy},
 year         = {2007},
 title        = {{TCP SYN Flooding Attacks and Common Mitigations}},
 type         = {Technical Report},
 institution  = {Network Working Group},
 url          = {https://tools.ietf.org/html/rfc4987},
)