digraph G {
 rankdir=LR
 node [shape=box, fontsize=9, height=0.1, width=0.05 ]
 edge [arrowsize=0.5, len=0.1]
"authentication\n"
"clientHasFreeFunds\n"
"cashpointActivity\n"
"numberOfBills\n"
"enoughCashInCashpoint\n"
"menuOption\n"
"desiredAmount\n"
"enteredPIN\n"
"freeFunds\n"
"pINInDatabase\n"
"numberOfFailedAttempts\n"
"authentication\n"->"cashpointActivity\n"
"clientHasFreeFunds\n"->"cashpointActivity\n"
"numberOfBills\n"->"enoughCashInCashpoint\n"
"enoughCashInCashpoint\n"->"cashpointActivity\n"
"menuOption\n"->"cashpointActivity\n"
"desiredAmount\n"->"clientHasFreeFunds\n"
"enteredPIN\n"->"authentication\n"
"freeFunds\n"->"clientHasFreeFunds\n"
"pINInDatabase\n"->"authentication\n"
"enteredPIN\n"->"numberOfFailedAttempts\n"
"pINInDatabase\n"->"numberOfFailedAttempts\n"
"numberOfFailedAttempts\n"->"cashpointActivity\n"
"desiredAmount\n"->"freeFunds\n"
"freeFunds\n"->"freeFunds\n"
"cashpointActivity\n"->"freeFunds\n"
"desiredAmount\n"->"numberOfBills\n"
"numberOfBills\n"->"numberOfBills\n"
"cashpointActivity\n"->"numberOfBills\n"
"desiredAmount\n"->"enoughCashInCashpoint\n"
"numberOfFailedAttempts\n"->"numberOfFailedAttempts\n"
}