Secure extensible type system for efficient embedded operating system by using metatypes | IEEE Conference Publication | IEEE Xplore