Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn & Peter Y. H. Wong (2014):
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.
T. Aspect-Oriented Software Development 11,
pp. 1–26,
doi:10.1007/978-3-642-55099-7_1.
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche & Mohamed Jmaiel (2013):
A Survey on Time-aware Business Process Modeling.
In: ICEIS (3).
SciTePress,
pp. 236–242,
doi:10.5220/0004413202360242.
Feng Chen & Grigore Rosu (2007):
Mop: an efficient and generic runtime verification framework.
In: OOPSLA,
pp. 569–588,
doi:10.1145/1297027.1297069.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009):
LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper).
In: SEFM,
pp. 33–37,
doi:10.1109/SEFM.2009.13.
Nawal Guermouche & Silvano Dal-Zilio (2012):
Towards timed requirement verification for service choreographies.
In: CollaborateCom.
IEEE,
pp. 117–126,
doi:10.4108/icst.collaboratecom.2012.250441.
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011):
Scribbling Interactions with a Formal Foundation.
In: ICDCIT 2011,
LNCS 6536.
Springer,
doi:10.1007/978-3-642-19056-8_4.
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon & Kohei Honda (2013):
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
In: RV,
LNCS 8174,
pp. 130–148,
doi:10.1007/978-3-642-40787-1_8.
Pavel Krcal & Wang Yi (2006):
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.
In: Computer Aided Verification,
LNCS 4144.
Springer,
pp. 249–262,
doi:10.1007/11817963_24.
Timed Conversation API in Python.
http://www.doc.ic.ac.uk/~rn710/TimeApp.html.
Scribble Project homepage.
www.scribble.org.
Kenji Watahiki, Fuyuki Ishikawa & Kunihiko Hiraishi (2011):
Formal verification of business processes with temporal and resource constraints.
In: SMC.
IEEE,
pp. 1173–1180,
doi:10.1109/ICSMC.2011.6083857.