Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat: Time analysable synchronisation techniques for parallelised hard real-time applications. DATE 2012: 671-676