BibTex format
@article{Crampton:2014:10.1007/s10009-012-0269-3,
author = {Crampton, J and Huth, M and Kuo, JH-P},
doi = {10.1007/s10009-012-0269-3},
journal = {INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER},
pages = {31--48},
title = {Authorized workflow schemas: deciding realizability through LTL(F) model checking},
url = {http://dx.doi.org/10.1007/s10009-012-0269-3},
volume = {16},
year = {2014}
}