Kaspersky is developing a secure OS for industrial control