Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff. Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering, 10(2):251-273, 2000.
@article{KazmierczakDSW00, title = {Verifying Requirements Through Mathematical Modelling and Animation}, author = {Edmund Kazmierczak and Philip W. Dart and Leon Sterling and Michael Winikoff}, year = {2000}, researchr = {https://researchr.org/publication/KazmierczakDSW00}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {10}, number = {2}, pages = {251-273}, }