Requirements Notation -- ConTraST - A Configurable SDL Transpiler and Runtime