Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer. Flexible consistency checking. ACM Transactions on Software Engineering Methodology, 12(1):28-63, 2003. [doi]
@article{NentwichEFE03, title = {Flexible consistency checking}, author = {Christian Nentwich and Wolfgang Emmerich and Anthony Finkelstein and Ernst Ellmer}, year = {2003}, doi = {10.1145/839268.839271}, url = {http://doi.acm.org/10.1145/839268.839271}, tags = {consistency}, researchr = {https://researchr.org/publication/NentwichEFE03}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {12}, number = {1}, pages = {28-63}, }