Life cycle state machines for CR, CCR, P
Protocol state machines for CCR->Bank. CR->TLC, TLC->CCR
Merge branch 'checkInSingleTicket' of https://github.com/jannickj/SystemIntegrationStudy into checkInSingleTicket