The RAISE specification language, method, and tools