In:; Proceedings of an ESARDA Seminar on Modern Verification Regimes: Similarities, Synergies and Challenges; CCR Ispra, Italy, pp. 167-184 [1998]