Daniel Jackson, Craig Damon: Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Trans. Software Eng. 22(7): 484-495 (1996)