Analyzing Consistency of Formal RequirementsThis work has been partially funded by the German Federal Ministry of Education and Research (BMBF) under research grant 01IS15031H (ASSUME)