@article {IOPORT.50094365,
    author       = {Popova, Viara and Sharpanskykh, Alexei},
    title        = {Formal analysis of executions of organizational scenarios based on process-oriented specifications},
    year         = {2011},
    journal      = {Appl. Intell.},
    volume       = {34},
    number       = {2},
    pages        = {226-244},
    doi          = {10.1007/s10489-009-0192-9},
    identifier   = {50094365},
}