systems, including highly modular systems.
The SafSec assurance case can be said to be an integrated dependability case
in which safety and security are handled in parallel. The inclusion of reliability
and maintainability concerns in the assurance argument and evidence ensures