Title: The SEGRAS Specification Language