Product Models for Computer Systems