@INPROCEEDINGS{AartsDeRuiterPoll13, 
author = {Fides Aarts and Joeri de Ruiter and Erik Poll},
title = {Formal Models of Bank Cards for Free},
journal ={Software Testing Verification and Validation Workshop, IEEE International Conference on},
volume = {0},
isbn = {978-1-4799-1324-4},
year = {2013},
pages = {461-468},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.60},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}