SMS dit: Model checking control communication of a FACTS device / by David Andrew Cape.