. . . . "Generation of optimized semaphore synchronization code"@en . . .