C. A. Gabe, L. O. Freire, and D. A. de Andrade, “Modeling dynamic scenarios for safety, reliability, availability, and maintainability analysis”, Braz. J. Rad. Sci., vol. 8, no. 3A (Suppl.), Feb. 2021.