Diseño de sistema completo. Enfoque como máquina de estados