Towards Modeling Stored-value Electronic Money Systems. - Shunsuke Inenaga; Kenichirou Oyama; Hiroto Yasuura (Inf. Media Technol., 2011)