Verifying model oriented specifications through animation (1998)

by E Kazmierczak, M Winikoff, P Dart
Venue:In Asia-Pacific Software Engineering Conference