Title: Introducción a la síntesis y programación de automatismos secuenciales