Modelagem de processo crítico de manufatura utilizando linguagem de autômatos para liberação paramétricaq - Silva, João Gabriel Santos (2021)