Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method