Title: Zum kooperativen Entwurf von eingebetteten Echtzeitsystemen