"A model of a subsystem that contains no information specific to the platform, or the technology that is used to realize it."