B. N. de Sá, D. dos S. Dias, and L. C. G. de Menezes, CPE, Dec. 2020.