Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.