Animation for Validation of Business System Specifications - V. Lalioti (1997)