Especificando lo Imposible: Una Especificación de Ingeniería Completa para un Robot Humanoide Autónomo | Synapse