Text this: Advances in formal design methods for CAD :