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