@Article{ERE08,
author={A. El Rayes and M. Er},
title={Using the Probabilistic Model Checker PRISM to Analyze Credit Card Use},
journal={Electronic Journal of Information Systems Evaluation},
year={2008},

volume={11},
number={1},
pages={},
publisher={},
month={},
note={},
key={}
}