Nael B. Abu-Ghazaleh Philip A. Wilsey Models for Control Unit Synchronization on Shared Control Architectures. 69-81 1998 52 J. Parallel Distrib. Comput. 1 db/journals/jpdc/jpdc52.html#Abu-GhazalehW98