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