Figure 5From: A verification strategy for web services composition using enhanced stacked automata model Automata diagram for airline reservation system. Back to article page