Lindoso Jr., W., 		Nogueira, S., 		Domingues, R., & 		Lima, L.
(2021).
Visual Specification of Properties for Robotic Designs.
In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, (pp. 34-52). Porto Alegre: SBC.