Integrating probabilistic design and rare‐event simulation into the requirements engineering process for high‐reliability systems
scientific article; zbMATH DE number 6295548