Cyber & formal methods publications