W. Lindoso Jr., S. Nogueira, R. Domingues, and L. Lima.
"Visual Specification of Properties for Robotic Designs", in <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, Campina Grande, 2021, pp. 34-52.