Models who are of heights such as fall under the category of petite models. The design scheme of some of these early models varied. We need more of these role models. Kiva sold systems based on two different robot models. The headlights and taillights were identical to those used on other Cadillac production models. They were available on 3LT and 3LZ trim models. Appearances were largely identical between the two models. Data races are important parts of various formal memory models. This is achieved by using one of several different coordinate models. They are among the simplest Bayesian network models. See Asset pricing for a listing of the various models here. Upscale versions were Malibus including the convertible models. Projector headlights were optional for all models. Only 80 of these 2005 TS models were released. This is shown in the structural models below.