Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS | IEEE Conference Publication | IEEE Xplore