SAFE & ProRISC Proceedings 2005 by Technologiestichting Stw