A SysML-based modeling and verification method for vehicle safety Kim, C.W., Jung, H.J., Lee, J D Keywords: Safer Vehicles, Computer Simulations - Restraints, Human Body, Vehicle, Autonomous Vehicles ACRS Submission Date: 2018 Conference: ARSC View Abstract Download PDF