Journal article
Verifying requirements through mathematical modelling and animation
Edmund Kazmierczak, Philip Dart, Leon Sterling, Michael Winikoff
International Journal of Software Engineering and Knowledge Engineering | World Scientific Pub Co Pte Ltd | Published : 2000