Added Detailed use case description
Minor fixes
Fit tables
Merge branch 'master' of https://github.com/jannickj/SystemIntegrationStudy into checkInSingleTicket
Seq diag
Fixed fit tables
Merge branch 'checkInSingleTicket' of https://github.com/jannickj/SystemIntegrationStudy into checkInSingleTicket
SequenceDiagram for CheckInSingleTicket use case
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
Merge branch 'checkInSingleTicket' of https://github.com/jannickj/SystemIntegrationStudy