Anyone looking for working examples of how Lean is being deployed within what would appear to be very traditional project management management environments shoudl look at the MIT Lean Advancement Initiative.
This was formerly named the Lean Aircraft Initiative, but they've expanded their scope.