@misc(bpmn,
 title        = {{{B}usiness {P}rocess {M}odel and {N}otation}},
 note         = {{\url{http://www.bpmn.org}}},
)
@misc(iotlysatool,
 title        = {Compiler from {\leavevmode{\color{black}{\relax\fontsize {10}{12}\selectfont\abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip\z@ plus3\p@ \belowdisplayshortskip6\p@ plus3\p@ minus3\p@ \def\leftmargin \leftmargini\topsep 6\p@ plus2\p@ minus2\p@ \parsep3\p@ plus2\p@ minus\p@ \itemsep\parsep {\leftmargin\leftmargini \topsep6\p@ plus2\p@ minus2\p@ \parsep3\p@ plus2\p@ minus\p@ \itemsep\parsep }\belowdisplayskip\abovedisplayskip \textsf{IoT-LySa}}}}\ to {CFSMs}},
 note         = {\url{https://bitbucket.org/lillo/iotlysa}},
)
@book(Aho86,
 author       = {Alfred~V. Aho and Ravi Sethi and Jeffrey~D. Ullman},
 year         = {1986},
 title        = {Compilers: Principles, Techniques, and Tools},
 publisher    = {Addison-Wesley},
)
@misc(sch17,
 author       = {Amber Ankerholz},
 year         = {2017},
 title        = {Bruce Schneier on New Security Threats from the Internet of Things},
 howpublished = {\url{https://www.linux.com/news/event/open-source-leadership-summit/2017/3/bruce-schneier-new-security-threats-internet-things}},
 note         = {Linux.com interviews Bruce Schneier},
)
@article(bstz16,
 author       = {Massimo Bartoletti and Alceste Scalas and Emilio Tuosto and Roberto Zunino},
 year         = {2016},
 title        = {Honesty by Typing},
 journal      = {Logical Methods in Computer Science},
 volume       = {12},
 number       = {4},
 doi          = {10.2168/LMCS-12(4:7)2016},
)
@inproceedings(BLY15,
 author       = {Laura Bocchi and Julien Lange and Nobuko Yoshida},
 year         = {2015},
 title        = {Meeting Deadlines Together},
 booktitle    = {{CONCUR} 2015},
 pages        = {283--296},
 doi          = {10.4230/LIPIcs.CONCUR.2015.283},
)
@article(BBDNN_JCS,
 author       = {Chiara Bodei and Mikael Buchholtz and Pierpaolo Degano and Flemming Nielson and Hanne~Riis Nielson},
 year         = {2005},
 title        = {Static validation of security protocols},
 journal      = {Journal of Computer Security},
 volume       = {13},
 number       = {3},
 pages        = {347--390},
 doi          = {10.3233/JCS-2005-13302},
)
@inproceedings(BDFG_ICE2016,
 author       = {Chiara Bodei and Pierpaolo Degano and Gian-Luigi Ferrari and Letterio Galletta},
 year         = {2016},
 title        = {A step towards checking security in {IoT}},
 booktitle    = {Procs.~of ICE 2016},
 series       = {EPTCS},
 volume       = {223},
 pages        = {128--142},
 doi          = {10.4204/EPTCS.223.9},
)
@inproceedings(BDFG_Coord16,
 author       = {Chiara Bodei and Pierpaolo Degano and Gian-Luigi Ferrari and Letterio Galletta},
 year         = {2016},
 title        = {Where do your {IoT} ingredients come from?},
 booktitle    = {Procs.~of Coordination 2016},
 series       = {LNCS},
 volume       = {9686},
 publisher    = {Springer},
 pages        = {35--50},
 doi          = {10.1007/978-3-319-39519-7},
)
@article(BodeiDFG16a,
 author       = {Chiara Bodei and Pierpaolo Degano and Gian-Luigi Ferrari and Letterio Galletta},
 year         = {2017},
 title        = {Tracing where IoT data are collected and aggregated},
 journal      = {Logical Methods in Computer Science},
 volume       = {13},
 number       = {3:5},
 pages        = {1--38},
 doi          = {10.23638/LMCS-13(3:5)2017},
)
@article(bz83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {{On Communicating Finite-State Machines}},
 journal      = {Journal of the ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(dy12,
 author       = {Pierre{-}Malo Deni{\'{e}}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {Multiparty Session Types Meet Communicating Automata},
 booktitle    = {ESOP 2012},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2\_10},
)
@misc(chorgram,
 author       = {Julien Lange and Emilio Tuosto},
 year         = {2015},
 title        = {\leavevmode{\color{black}{\relax\fontsize {10}{12}\selectfont\abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip\z@ plus3\p@ \belowdisplayshortskip6\p@ plus3\p@ minus3\p@ \def\leftmargin \leftmargini\parsep 2.5\p@ plus1.5\p@ minus\p@ \topsep5\p@ plus2\p@ minus5\p@ \itemsep2.5\p@ plus1.5\p@ minus\p@ {\leftmargin\leftmargini \topsep6\p@ plus2\p@ minus2\p@ \parsep3\p@ plus2\p@ minus\p@ \itemsep\parsep }\belowdisplayskip\abovedisplayskip \textsf{ChorGram}}}: tool support for choreographic development},
 howpublished = {Available at {\url{https://bitbucket.org/emlio_tuosto/chorgram/wiki/Home}}},
)
@inproceedings(lty15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {{From Communicating Machines to Graphical Choreographies}},
 booktitle    = {POPL15},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)
@inbook(lty17,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2017},
 title        = {A tool for choreography-based analysis of message-passing software},
 note         = {To appear. Available at \url{http://www.cs.le.ac.uk/~et52/chorgram_betty_ch.pdf}},
)
@article(mil93turing,
 author       = {Robin Milner},
 year         = {1993},
 title        = {{Elements of Interaction \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{­}intopreamble] Turing Award Lecture}},
 journal      = {CACM},
 volume       = {36},
 number       = {1},
 doi          = {10.1145/151233.151240},
)