@article{Verbeek_2001,
    doi = {10.1093/comjnl/44.4.246},
    url = {https://doi.org/10.1093%2Fcomjnl%2F44.4.246},
    year = {2001},
    month = {apr},
    publisher = {Oxford University Press ({OUP})},
    volume = {44},
    number = {4},
    pages = {246--279},
    author = {H. M. W. Verbeek},
    title = {Diagnosing Workflow Processes using Woflan},
    journal = {The Computer Journal}
}

@article{Verbeek_2001, doi = {10.1093/comjnl/44.4.246}, url = {https://doi.org/10.1093%2Fcomjnl%2F44.4.246}, year = {2001}, month = {apr}, publisher = {Oxford University Press ({OUP})}, volume = {44}, number = {4}, pages = {246--279}, author = {H. M. W. Verbeek}, title = {Diagnosing Workflow Processes using Woflan}, journal = {The Computer Journal} }