AnonymousAuthor. Automatic teller machine or till: Case study. Formulated 1999
as Modelling in two formalisms: The FM'99 ATM modelling challenge for the FM99
Conference and as A Cash-point Service Example in the IFAD document V6.3.0a,
reused 2013 for the Dagstuhl Seminar on Integration of Tools for Rigorous Software
Construction and Analysis to which A. Fleischmann added in 2014 the change and
 M. Dumas, M. L. Rosa, J. Mendling, and H. A. Reijers, Fundamentals of Business Process
Management. Springer Berlin Heidelberg, 2013.