We have posted a load of new stuff onto
Deep Life Ltd: Specialists in life critical system design
It includes a report under the DV section using Matlab Formal Modelling to quantify the risks of orifice injectors: mCCR, needle valves, variable orifice valves.
There is also the start of the compliance disclosures and a detailed Fault Tree Analysis in the FMECA section.
Alex