Robotic agents and assembly process : a formal specification case study