UC Berkeley has accomplished this for their Introduction for Embedded Systems (EECS 124) course.
There is a very complete description with examples below.
http://chess.eecs.berkeley.edu/eecs124/project.html