in an Environment with Refinement Orientation -- Tools for Critical Systems Development