Efficient embedded software design with synchronous models.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli

Browse the full EMSOFT paper archive.