A practical property-based bootstrap architecture. - René Korthaus; Ahmad-Reza Sadeghi; Christian Stüble; Jing Zhan (STC, 2009)