Effectiveness and cost of verification techniques: Preeliminary conclusions on five techniques