Marakhovsky, V. and Melekhin, V. 2010. Design of module synchronization facilities in globally asynchronous multiprocessor systems with arbitrary local synchronization. Information and Control Systems. 1 (Feb. 2010), 29-38.