1. Process Mining – Data Science in Action;van der Aalst,2016
2. Discovering workflow performance models from timed logs;van der Aalst,2002
3. PMaude: rewrite-based specification language for probabilistic object systems;Agha;Electron. Notes Theor. Comput. Sci.,2006
4. A survey of statistical model checking;Agha;ACM Trans. Model. Comput. Simul.,2018
5. PVeStA: a parallel statistical model checking and quantitative analysis tool;AlTurki,2011