CS414 Minithreads project overview Alin Dobra [email protected].
Evolution of Microcontroller Firmware Development David Benjamin.
Crunch: Search-based Hierarchy Generation for State Machines