A New Space Digital Signal Processor Design. - Massimiliano Donati; Sergio Saponara; Luca Fanucci; Walter Errico; Annamaria Colonna; Giuseppe Piscopiello; Giovanni Tuccio; Franco Bigongiari; Maximilian Odendahl; Rainer Leupers; Antonio Spada; Vincenzo Pii; et al. (ApplePies, 2013)

Managing Complexity in Safety-critical Railway Signaling Systems using Simplex Architectures. - Robert Schmid; Katja Assaf; Clemens Tiedt; Frederic Reiter; Dirk Friedenberger; Andreas Polze (ISORC, 2024)

Towards an End-to-End Toolchain for Traceable and Verifiable Railway Signalling Specifications. - Frederic Reiter; Roman Wetenkamp; Robert Schmid; Richard Kretzschmar; Lukas Iffländer (ABZ, 2025)