Towards modeling stored-value electronic money systems | IEEE Conference Publication | IEEE Xplore