@inproceedings(WISEMon:WICT2010,
 author       = "C. Abela and A. Calafato and G.J. Pace",
 title        = "Extending WISE with Contract Management",
 booktitle    = "WICT 2010",
)
@book(erlang,
 author       = "Joe Armstrong",
 year         = "2007",
 title        = "Programming Erlang: Software for a Concurrent World",
 publisher    = "Pragmatic Bookshelf",
)
@inproceedings(RTML,
 author       = "Fabio Barbon and Paolo Traverso and Marco Pistore and Michele Trainotti",
 year         = "2006",
 title        = "Run-Time Monitoring of Instances and Classes of Web Service Compositions",
 booktitle    = "ICWS '06: Proceedings of the IEEE International Conference on Web Services",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "63--71",
 doi          = "10.1109/ICWS.2006.113",
)
@book(ESB,
 author       = "David Chappell",
 year         = "2004",
 title        = "Enterprise Service Bus",
 publisher    = "O'Reilly Media",
)
@inproceedings(chen-rosu-2003-rv,
 author       = "Feng Chen and Grigore Ro\c {s}u",
 year         = "2003",
 title        = "Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation",
 booktitle    = "Runtime Verification (RV'03)",
 series       = "ENTCS",
 volume       = "89(2)",
 pages        = "108 -- 127",
 doi          = "10.1016/S1571-0661(04)81045-4",
)
@inproceedings(pace:dcc2002,
 author       = "Koen Claessen and Gordon J. Pace",
 year         = "2002",
 title        = "An Embedded Language Framework for Hardware Compilation",
 booktitle    = "Designing Correct Circuits '02, Grenoble, France",
)
@inproceedings(drusinksy,
 author       = "T. Cook and D. Drusinksy and M.-T. Shing",
 year         = "2007",
 title        = "Specification, Validation and Run-time Moniroting of SOA Based System-of Systems Temporal Behaviors",
 booktitle    = "System of Systems Engineering",
 publisher    = "IEEE Computer Society",
)
@article(Denning87anintrusion-detection,
 author       = "Dorothy E. Denning",
 year         = "1987",
 title        = "An intrusion-detection model",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "13",
 pages        = "222--232",
 doi          = "10.1109/TSE.1987.232894",
)
@book(Hennessy2007,
 author       = "Matthew Hennessy",
 year         = "2007",
 title        = "A Distributed Pi-Calculus",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
)
@article(SOS-ESB,
 author       = "I. H. Kr\"uger and M. Meisinger and M. Menarini",
 year         = "2010",
 title        = "Interaction-based Runtime Verification for Systems of Systems Integration",
 journal      = "J Logic Computation",
 volume       = "20",
 number       = "3",
 doi          = "10.1093/logcom/exn079",
)
@article(Lamport:1977:PCM:1313313.1313439,
 author       = "L. Lamport",
 year         = "1977",
 title        = "Proving the Correctness of Multiprocess Programs",
 journal      = "IEEE Trans. Softw. Eng.",
 volume       = "3",
 pages        = "125--143",
 doi          = "10.1109/TSE.1977.229904",
)
@article(GEM,
 author       = "Masoud Mansouri-Samani and Morris Sloman",
 year         = "1997",
 title        = "GEM: a generalized event monitoring language for distributed systems",
 journal      = "Distributed Systems Engineering",
 volume       = "4",
 number       = "2",
 pages        = "96--108",
 doi          = "10.1088/0967-1846/4/2/004",
)
@article(EfficientDec,
 author       = "Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Ro\c {s}u",
 year         = "2004",
 title        = "Efficient Decentralized Monitoring of Safety in Distributed Systems",
 journal      = "International Conference on Software Engineering",
 pages        = "418--427",
)
@inproceedings(conf/rv/ZhouSLL09,
 author       = "W. Zhou and O. Sokolsky and B. Thau Loo and I. Lee",
 year         = "2009",
 title        = "DMaC: Distributed Monitoring and Checking.",
 booktitle    = "Runtime Verification 09",
 series       = "LNCS",
 volume       = "5779",
 publisher    = "Springer",
 pages        = "184--201",
 doi          = "10.1007/978-3-642-04694-0\_13",
)