Safety analysis of wheel brake system based on STAMP/STPA and Monte Carlo simulation | BIAI Journals & Magazine | IEEE Xplore