They (or at least some of them) use waterfall - the real waterfall, not the bogeyman invented by agile consultants.