Reorganized to put evolving specification under GRAUML