Formally, we define IUs as tuples IU = I, L, G, T , C, S, P , where • I is an identifier, which has to be unique for each IU over the lifetime of a system.
(at no point in the system's life can there be two or more IUs with the same ID.)