TLA+ Applied to Safety Systems Cause and Effect Matrix

Hi, new here.

Has anyone looked at applying TLA+ to the sort of C&E matrix charts used in defining safety shutdown systems, usually hydrocarbons?