Real-time embedded systems - copyright 2014 Lawrence Job, University of Sussex. Please do not reproduce without consent.