Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach. - Bert Van Acker; Joachim Denil; Paul De Meulenaere; Bjorn Aelvoet; Dries Mahieu; Jan Van Den Oudenhoven (MoDELS (Workshops), 2018)

Validating Industrial Requirements with a Contract-Based Approach. - Matthias Bernaerts; Bentley J. Oakes; Ken Vanherpen; Bjorn Aelvoet; Hans Vangheluwe; Joachim Denil (MoDELS (Companion), 2019)