Time analysable synchronisation techniques for parallelised hard real-time applications.