Enviar aquest missatge de text: Automated Technology for Verification and Analysis