Jiří Barnat

• Formal Methods for Industrial Critical Systems