Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. - Joel Greenyer; Jens Frieben (BM-FA, 2012)

Early performance analysis of automation systems based on systems engineering models - Jens Frieben (2017)