Scenario Selection Methodology                         <--  ^ 

Method:
  1. Construct and validate a covering set of requirements scenarios for each component (ISAT tool set)
  2. For each pair of primitive components f1 and f2:
    1. Human selects subset of f1 scenarios as "of interest" to f2
    2. For each such "seed scenario", construct setof scenarios such that
      1. A message is sent from f1 to f2
      2. It executes the same path through f1 as the seed
      3. The set covers the responses of f2 (use formal coverage metric and tool)