Formal tools to link system dynamics model's structure to the system modes of behavior have recently become available. In this paper, we aim to expand the use of these tools to perform the model's policy analysis in a more structured and formal way than the exhaustive exploratory approaches used...