Real-Time Systems: High level introduction: http://blog.flaper87.com/post/52e43f93d987d2cc17700b58/