J.-C. Rault: Design verification techniques - a review. Reliable Software 1975: 104