Selected papers from the 4th workshop on Parallel and distributed real-time systems