selected publications

• chapter

  • Configurable Fault Trees.  Lecture Notes in Computer Science. 2016

• conference paper

  • Following the White Rabbit: Integrity Verification Based on Risk Analysis Results.  . 2021