Hardware Support for Safety Interlocks and Introspection.
Udit DhawanAlbert KwonEdin KadricCatalin HritcuBenjamin C. PierceJonathan M. SmithAndré DeHonGregory MalechaGreg MorrisettThomas F. Knight Jr.Andrew SutherlandTom HawkinsAmanda ZyxnfryxDavid K. WittenbergPeter TreiSumit RayGreg SullivanPublished in: SASO Workshops (2012)