@inproceedings(Apt:1987:AFD:41625.41642,
 author       = "K. R. Apt and N. Francez and S. Katz",
 year         = "1987",
 title        = "Appraising fairness in distributed languages",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "189--198",
 doi          = "10.1145/41625.41642",
)
@inproceedings(FORTE13,
 author       = "Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida",
 year         = "2013",
 title        = "Monitoring Networks through Multiparty Session Types",
 booktitle    = "FORTE",
 series       = "LNCS",
 volume       = "7892",
 pages        = "50--65",
 doi          = "10.1007/978-3-642-38592-6\_5",
)
@inproceedings(BYY14,
 author       = "Laura Bocchi and Weizhen Yang and Nobuko Yoshida",
 year         = "2014",
 title        = "Timed Multiparty Session Types",
 booktitle    = "CONCUR'14",
 series       = "LNCS",
 note         = "To appear",
)
@techreport(TRTime,
 author       = "Laura Bocchi and Weizhen Yang and Nobuko Yoshida",
 year         = "2014",
 title        = "Timed Multiparty Session Types",
 type         = "Technical Report",
 number       = "2014/3",
 institution  = "Department of Computing, Imperial College London",
 url          = "http://www.doc.ic.ac.uk/research/technicalreports/2014/DTR14-3.pdf",
)
@article(Boer14,
 author       = "Frank S. de Boer and Stijn de Gouw and Einar Broch Johnsen and Andreas Kohn and Peter Y. H. Wong",
 year         = "2014",
 title        = "Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study",
 journal      = "T. Aspect-Oriented Software Development",
 volume       = "11",
 pages        = "1--26",
 doi          = "10.1007/978-3-642-55099-7\_1",
)
@inproceedings(survey,
 author       = "Saoussen Cheikhrouhou and Slim Kallel and Nawal Guermouche and Mohamed Jmaiel",
 year         = "2013",
 title        = "A Survey on Time-aware Business Process Modeling",
 booktitle    = "ICEIS (3)",
 publisher    = "SciTePress",
 pages        = "236--242",
 doi          = "10.5220/0004413202360242",
)
@inproceedings(MOP,
 author       = "Feng Chen and Grigore Rosu",
 year         = "2007",
 title        = "Mop: an efficient and generic runtime verification framework",
 booktitle    = "OOPSLA",
 pages        = "569--588",
 doi          = "10.1145/1297027.1297069",
)
@inproceedings(Larva,
 author       = "Christian Colombo and Gordon J. Pace and Gerardo Schneider",
 year         = "2009",
 title        = "LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)",
 booktitle    = "SEFM",
 pages        = "33--37",
 doi          = "10.1109/SEFM.2009.13",
)
@inproceedings(GuermoucheD12,
 author       = "Nawal Guermouche and Silvano Dal-Zilio",
 year         = "2012",
 title        = "Towards timed requirement verification for service choreographies",
 booktitle    = "CollaborateCom",
 publisher    = "IEEE",
 pages        = "117--126",
 doi          = "10.4108/icst.collaboratecom.2012.250441",
)
@inproceedings(scribble10,
 author       = "Kohei Honda and Aybek Mukhamedov and Gary Brown and Tzu-Chun Chen and Nobuko Yoshida",
 year         = "2011",
 title        = "Scribbling Interactions with a Formal Foundation",
 booktitle    = "ICDCIT 2011",
 series       = "LNCS",
 volume       = "6536",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-19056-8\_4",
)
@inproceedings(HuNYDH13,
 author       = "Raymond Hu and Rumyana Neykova and Nobuko Yoshida and Romain Demangeon and Kohei Honda",
 year         = "2013",
 title        = "Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and {P}ython",
 booktitle    = "RV",
 series       = "LNCS",
 volume       = "8174",
 pages        = "130--148",
 doi          = "10.1007/978-3-642-40787-1\_8",
)
@inproceedings(CTA,
 author       = "Pavel Krcal and Wang Yi",
 year         = "2006",
 title        = "Communicating Timed Automata: The More Synchronous, the More Difficult to Verify",
 booktitle    = "Computer Aided Verification",
 series       = "LNCS",
 volume       = "4144",
 publisher    = "Springer",
 pages        = "249--262",
 doi          = "10.1007/11817963\_24",
)
@misc(OOI,
 title        = "{{O}cean {O}bservatories {I}nitiative ({OOI})}",
 note         = "\url {http://oceanobservatories.org/}",
)
@misc(py_time,
 title        = "{Timed Conversation API in Python}",
 howpublished = "\url {http://www.doc.ic.ac.uk/~rn710/TimeApp.html}",
)
@misc(scribble,
 title        = "{{S}cribble {P}roject homepage}",
 note         = "\url {www.scribble.org}",
)
@inproceedings(WatahikiIH11,
 author       = "Kenji Watahiki and Fuyuki Ishikawa and Kunihiko Hiraishi",
 year         = "2011",
 title        = "Formal verification of business processes with temporal and resource constraints",
 booktitle    = "SMC",
 publisher    = "IEEE",
 pages        = "1173--1180",
 doi          = "10.1109/ICSMC.2011.6083857",
)