FATES 2004 was organized in affiliation with the IEEE/ACM Conference on Automated