Anca Browne Bernd Finkbeiner Zohar Manna Henny Sipma The `Cash-Point' Service: A Verification Case Study Using STeP. 218-219 2000 12 Formal Asp. Comput. 4 http://dx.doi.org/10.1007/s001650070014 db/journals/fac/fac12.html#BrowneFMS00