Revision control
++ {
++ "initialConfiguration" : ["s3","s4","s7","s8"],
++ "events" : [
++ {
++ "event" : { "name" : "t" },
++ "nextConfiguration" : ["s5","s6","s9","s10"]
++ }
++
++ ]
++ }
++
++
++
++