Formal Study Maquette for Boccioni Robot