Visual Specification of Properties for Robotic Designs. - Waldeck Lindoso; Sidney C. Nogueira; Renato Domingues; Lucas Lima 001 (SBMF, 2021)