A company developing firmware for an embedded medical device uses a sequential lifecycle model where each phase produces formal documentation that feeds into the next phase. Testing of the complete system occurs only after integration is finished. Which SDLC model does this BEST describe?