Title: Reference Manual for a Requirements Specification Language (RSL), Version 2. 0