Michael Hoffman, Polarion Software