Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems