RegisteredEvent
trustaccountcreation
ReservationEvent
booking
ReserveSeatCmd
booking
random
TrustAccountProcessingSystem
receive
Cinema
TicketPrinter
ESigningSystem
EmailSystem
TrustAccountProcessingSystem
reservations
BookingState