framework method safety ground letters architecture formalization other