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 results and can be ignored if you want.

IEEE Aerospace Conference (March 2008) paper:
http://sunnyday.mit.edu/papers/IEEE-Aerospace.pdf

Complete Report on the Methodology:
http://sunnyday.mit.edu/JPL-Part-1.pdf

Report showing the results of the analysis and design
http://sunnyday.mit.edu/JPL-Part-2.doc