Twelve years of B Teaching in an engineer school : from a correct by design approach to analysis techniques and tools