A GBAS Landing System Model for CAT I