Eine Testfallspezifikationssprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im Automobilen Bereich. - Mesut Ipek (2011)