Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson. AADL-Based safety analysis using formal methods applied to aircraft digital systems. Rel. Eng. & Sys. Safety, 213:107649, 2021. [doi]
Abstract is missing.