Towards Light-Weight Verification and Heavy-Weight Testing.

Published in: Tool Support for System Specification, Development and Verification (1998)