Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards

In the railway domain, standards such as the EN5012x family prescribe processes to be followed for the management and certification of safety-critical systems. This results in a need to model proce ...