GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems. - Hongyan Zhang; Kochte, Michael A.; Imhof, Michael E.; Bauer, Lars; Wunderlich, H.-J.; Henkel, Jörg (DAC: Annual ACM/IEEE Design Automation Conference, 2014)