Workflow Engine for Analysis, Certification and Test of Safety and Security-Critical Systems