Zaslat SMS: Turbulence modeling verification for bluff body flow /