Gregory Bollella Bertrand Delsart Romain Guider Christophe Lizzi Frédéric Parain Mackinac: Making HotSpot<sup>TM</sup> Real-Time. 45-54 2005 conf/isorc/2005 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.31 db/conf/isorc/isorc2005.html#BollellaDGLP05