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