STPA Analysis over the Earlier Phases of Brazilian Aerospace Products Life Cycle Using OPM | IEEE Conference Publication | IEEE Xplore