An approach for formal verification of business processes. - Armen Kostanyan; Vardan Matevosyan; Samvel K. Shoukourian; Anna Varosyan (SpringSim, 2009)