All accepted research papers, practical experience reports, and tool descriptions are published by Springer in the LNCS series (Lecture Notes on Computer Science) in the SafeComp and the SafeComp Workshop volumes.