Title: Operating system analysis and design