Lindoso Jr., W., 		Nogueira, S., 		Domingues, R., & 		Lima, L.
2021 Dec  7.  Visual Specification of Properties for Robotic Designs. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :