Analysis of Embedded Systems (I00154), Spring 2014