Softwaretest von verteilten Echtzeitsystemen im Automobil anhand von Kundenspezifikationen | Publicación