Verifying Behavior of L4 Microkernel based Mobile Phone | IEEE Conference Publication | IEEE Xplore