RESPIN++ - deterministic embedded test. - Lars Schäfer; Rainer Dorsch; Hans-Joachim Wunderlich (ETW, 2002)