ApisRAM Formal Model Description. Issue 2 (25th February 2022)