Softwaretest von verteilten Echtzeitsystemen im Automobilbau anhand von Kundenspezifikationen.