Big Books of 2026

Join the Goodreads Author Program

Are you Ralf Pinger, author of the books below?
Reliability, Safety, and Security of Railway Systems. Modelli... by Thierry Lecomte Formal Methods for Industrial Critical Systems by Mari Lle Stoelinga Reliability, Safety, and Security of Railway Systems. Modelli... by Thierry Lecomte Formal Methods for Industrial Critical Systems by Marielle Stoelinga


To join the author program as Ralf Pinger, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads