Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems. - Sebastian Siegl; Martin Russer (CyPhy, 2015)

Partitioning the requirements of embedded systems by input/output dependency analysis for compositional creation of parallel test models. - Sebastian Siegl; Martin Russer; Kai-Steffen Hielscher (SysCon, 2015)