Synchronization of tasks in multiprocessor systems-on-chip - Calado, José Henrique de Magalhães Simões (2010)