Refinement Based Methods for the Construction of Dependable Systems