DEC MICA: inspiring the design of Windows NT