Lars Schäfer Rainer Dorsch Hans-Joachim Wunderlich RESPIN++ - deterministic embedded test. 37-44 2002 ETW https://doi.org/10.1109/ETW.2002.1029637 conf/ets/2002 db/conf/ets/etw2002.html#SchaferDW02