Index: /ModelTranslator/resources/testdata/input/ItemSelectsBoolean.rsf
===================================================================
--- /ModelTranslator/resources/testdata/input/ItemSelectsBoolean.rsf	(revision 400)
+++ /ModelTranslator/resources/testdata/input/ItemSelectsBoolean.rsf	(revision 400)
@@ -0,0 +1,9 @@
+# Ticket #9
+Item	VAR1	boolean	
+Item	VAR2	boolean	
+Item	VAR3	boolean
+Item	VAR4	boolean
+# VAR1 selects VAR2
+ItemSelects	VAR1	VAR2	y
+# VAR3 selects VAR4 if VAR2='y'
+ItemSelects	VAR3	VAR4	VAR2
Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 399)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 400)
@@ -20,4 +20,5 @@
     /**
      * Tests whether tristate variables are translated correctly.
+     * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/ticket/8">Requirement 8</a>
      */
     @Test
@@ -101,4 +102,36 @@
         Assert.assertTrue("Error: Expected Constraint not included.",
             DimacsTestUtils.containsConstraint(result, -1 * extraFirmwareEmpty, extraFirmwareDirEmpty));
+    }
+    
+    /**
+     * Tests whether ItemSelect statements are translated correctly into CNF constraints.
+     * Tests Boolean select Statements.
+     * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/ticket/9">Requirement 9</a>
+     */
+    @Test
+    public void testItemSelectStatementsBoolean() {
+        File input = new File(AllTests.INPUT_FOLDER, "ItemSelectsBoolean.rsf");
+        OptimizationParameter noOptimization = new OptimizationParameter();
+        
+        // Test precondition
+        Assert.assertFalse(noOptimization.hasAtLeastOneOption());
+        
+        // Translation
+        String result = DimacsTestUtils.loadModel(input, noOptimization, true);
+        System.out.println(result);
+        int var1 = DimacsTestUtils.getNumberOfVariable(result, "VAR1");
+        int var2 = DimacsTestUtils.getNumberOfVariable(result, "VAR2");
+        int var3 = DimacsTestUtils.getNumberOfVariable(result, "VAR3");
+        int var4 = DimacsTestUtils.getNumberOfVariable(result, "VAR4");
+        
+        /* 
+         * Test whether following constraint is included:
+         * Not(VAR1) or VAR2
+         * Not(VAR3) or Not(VAR2) or VAR4
+         */
+        Assert.assertTrue("Error, missing: Not(VAR1) or VAR2",
+            DimacsTestUtils.containsConstraint(result, -var1, var2));
+        Assert.assertTrue("Error, missing: Not(VAR3) or Not(VAR2) or VAR4",
+            DimacsTestUtils.containsConstraint(result, -var3, -var2, var4));
     }