Safety-Critical Software Development in C++. - Daniel Kästner; Christoph Cullmann; Gernot Gebhard; Sebastian Hahn 001; Thomas Karos; Laurent Mauborgne; Stephan Wilhelm; Christian Ferdinand (SAFECOMP Workshops, 2020)