David Kleidermacher, Green Hills Software, Inc.