Jennifer Black Philip Koopman Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. 184-191 2008 PRDC http://dx.doi.org/10.1109/PRDC.2008.29 conf/prdc/2008 db/conf/prdc/prdc2008.html#BlackK08