Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar: Safety-oriented dynamic procedure modeling. SysCon 2024: 1-8