MIT'S STAMP RESEARCH AND STPA APPLICATIONS