Applying synchronization contracts approach for dynamic detection of data races in industrial applications - V. Yu. Trifanov (Труды Института системного программирования РАН, 2018)