Email Record: FM'99--formal methods :