Samir Dami Jacky Estublier Mahfoud Amiour Apel: A Graphical Yet Executable Formalism for Process Modeling. 61-96 1998 5 Autom. Softw. Eng. 1 db/journals/ase/ase5.html#DamiEA98