CPAL: high-level abstractions for safe embedded systems.

Nicolas Navet, Loc Fejoz

Browse the full OOPSLA paper archive.