Session 8A: Aerospace Applications 2

Title: A New Fault Injection Method for Liquid Rocket Pressurization and Feed System
Authors: Mingqing Zhu, Gang Xie, Jintao Shao, Liping Chen and Fanli Zhou
Links: Abstract, Full paper

---

Title: Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
Authors: Christian Schallert
Links: Abstract, Full paper

---

Title: High-fidelity Modelling of Self-regulating Pneumatic Valves
Authors: Alexander Pollok and Francesco Casella
Links: Abstract, Full paper