Proceedings 1997 High-Assurance Engineering Workshop