Martin Bakal, IBM Rational Software, IBM