This material is based upon work supported by the U.S. Department of Defense through the Systems Engineering
Research Center (SERC) under Contract H98230-08-D-0171 and documented in technical reports SERC-TR-022.
SERC is a federally funded University Affiliated Research Center managed by Stevens Institute of Technology.