Summary
The deliverable (Software + report) includes: Safety domain model, safety rule checking for as-planned safety model (later to be compared against as-is safety model), Process for embedding digital methods in safety planning
More information & hyperlinks