Checking process compliance against natural language specifications using behavioral spaces · Study