Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. - David Santiago Velasco Moncada; Daniel Schneider 001; Ana Petrovska; Nishanth Laxman; Felix Möhrle; Stefan Rothbauer; Marc Zeller; Chee Hung Koo; Samira Safdari (Model-Based Engineering of Collaborative Embedded Systems, 2021)