Lindoso Jr., Waldeck, Sidney C. Nogueira, Renato Domingues, and Lucas Lima.
" Visual Specification of Properties for Robotic Designs." <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais,
Campina Grande, 2021</em>. SBC, 2021,  
pp.34-52.