Formal Methods in Industrial Software Standards Enforcement. - Alexey Grinevich; Alexey V. Khoroshilov; Victor V. Kuliamin; Denis Markovtsev; Alexander K. Petrenko; Vladimir V. Rubanov (Ershov Memorial Conference, 2006)