Cost and benefit of separate address spaces in real-time operating systems | IEEE Conference Publication | IEEE Xplore