Many properties that we assert about systems (determinism, reliability, timeliness, safety) are in fact not the properties of an implemented system, but rather properties of a model of a system?
valid question