Real-time dynamic voltage scaling for low-power embedded operating systems
An empirical study of operating systems errors