An automated software verification tool for model-based development of embedded systems with simulink®. - Josef Börcsök; Walid Chaaban; Michael H. Schwarz; Huiyun Sheng; Oleksandr Sheleh; Batsuren Batchuluun (ICAT, 2009)

Reliable software development methodology for safety related applications: From simulation to reliable source code. - Michael H. Schwarz; Huiyun Sheng; Batsuren Batchuluun; Oleksandr Sheleh; Walid Chaaban; Josef Börcsök (ICAT, 2009)

A partially automated HiL test environment for model-based development using Simulink® and OPC technology. - Walid Chaaban; Michael H. Schwarz; Batsuren Batchuluun; Huiyun Sheng; Josef Börcsök (ICAT, 2011)