Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers.

Matthew D. Roper, Ronald A. Olsson

Browse the full CASES paper archive.