1. Model checking of message sequence charts;Alur,1999
2. Process Algebra with Explicit Termination;Baeten,2000
3. Control Flow Semantics;de Bakker,1996
4. Eliciting unitary constraints from timed sequence diagram with symbolic techniques: application to testing;Bannour,2011
5. Constraint-based oracles for timed distributed systems;Benharrat,2017