Verifying Model Oriented Specifications through Animation.

Edmund Kazmierczak, Michael Winikoff, Philip W. Dart

Browse the full APSEC paper archive.