A B C D -automated Validation of Business Critical Systems with Component Based Designs Environment and Previous Track Record Dsse { Declarative Systems and Software Engineering