Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik: A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS 2021: 194-204