Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation. - Matthias Krause 002; Dominik Englert; Oliver Bringmann 001; Wolfgang Rosenstiel (CODES+ISSS, 2008)

ORIPS: An Open Resource-based Integrated Platform System for business process execution. - Hongming Cai 001; Dominik Englert; Hao Yu 009 (SMC, 2009)