Representing Formal Specifications in SpecDB: A Translation Algorithm