CyberMut: documentation