Dr. Nancy Leveson of MIT indicated that there are some new papers involving a demonstration of STAMP (and STPA) being used for safety-driven design of a new JPL mission to Europa including a very complete example. A JPL modeling language was incorporated (JPL was funding the work), but had little to do with the final...Read More