C++, dependency tracking and safety-ciritcal systems (Jan Kubálek)