Enviar aquest missatge de text: Model checking control communication of a FACTS device / by David Andrew Cape.