Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems | Publicación