Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly: MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) 2020: 15:1-15:5