Email Record: Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada /