A language for expressing requirements based on FORM-L. - View it on GitHub