(Re-) configurable real-time operating systems and their applications | IEEE Conference Publication | IEEE Xplore