A Lean Approach to Building Valid Model-Based Safety Arguments | IEEE Conference Publication | IEEE Xplore