Home › Authors › Mariëlle Stoelinga 👤 Mariëlle Stoelinga 3 books Books by Mariëlle Stoelinga Concise Guide to Fault Tree An Concise Guide to Fault Tree Analysis 2025 Journey from Process Algebra V Journey from Process Algebra Via Timed Automata to Model Learning 2022 Stochastic Model Checking Stochastic Model Checking 2014