Effectiveness of operating system prototyping from a template: application to MINIX | IEEE Conference Publication | IEEE Xplore