Revision control
++ {
++ "initialConfiguration" : ["a1","b1"],
++ "events" : [
++ {
++ "event" : { "name" : "t" },
++ "nextConfiguration" : ["a1","b2"]
++ }
++
++ ]
++ }