Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann. Model-Based Verification and Validation of Properties. Electronic Notes in Theoretical Computer Science, 82(7):133-150, 2003. [doi]
@article{EngelsKHL03, title = {Model-Based Verification and Validation of Properties}, author = {Gregor Engels and Jochen Malte Küster and Reiko Heckel and Marc Lohmann}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/133/48/show/Products/notes/index.htt#011}, tags = {rule-based}, researchr = {https://researchr.org/publication/EngelsKHL03}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, pages = {133-150}, }