Paper 1 (Herling et al, 2014)
Paper 2 (Souza et al, 2017)
Paper 3 (Santana et al, 2019)
Paper 4 (Ayres, 2019))
Paper 5 (Boente et al, 2020)
Paper 6 (Pinheiro et al, 2017)
Paper 7 (Final Project Example)
CNPI (Theoretical Requirements)
