Design of instrumentation in process plants using Groëbner bases. - Olivier Wailly; Nicolas Héraud; Olaf Malasse (Comput. Chem. Eng., 2008)

Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation. - Xianqiong Zhao; Olaf Malasse; Grégory Buchheit (Reliab. Eng. Syst. Saf., 2019)