Rebekka Schlatter, David Knies, Michael Ederer, Oliver Sawodny. Analysis of Boolean Models using Quality Assurance Methods from Software Engineering. In Proceedings of the IEEE International Conference on Control Applications, CCA 2010, Yokohama, Japan, September 8-10, 2010. pages 518-523, IEEE, 2010. [doi]
Abstract is missing.