Translation of SysML diagram into mathematical Petri net model for quantitative reliability analysis of airbag system. (12th April 2022)