Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik: The ForeMoSt Approach to Building Valid Model-Based Safety Arguments. Zenodo 2022