Modeling the Variability of System Safety Analysis Using State-Machine Diagrams | Publicación