Analysis of Boolean Models using Quality Assurance Methods from Software Engineering. - Rebekka Schlatter; David Knies; Michael Ederer; Oliver Sawodny (CCA, 2010)