Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language.

Fabrice Mrillon, Gilles Muller

Browse the full PLDI paper archive.