====== Textbook ======

You will require the following textbook for this course:

  * Introduction to Embedded Systems: A Cyber-Physical Systems Approach by Edward A. Lee and Sanjit Arunkumar Seshia. You can download PDF for free from here [[https://ptolemy.berkeley.edu/books/leeseshia/| Lee_Seshia book]]
  * The course kit (contains the DE10-Lite board, you may purchase it from the [[http://bookstore.yorku.ca|York University Bookstore]].