SPECIFYING A SYSTEM USING ERA INFORMATION MODELS