resolute an assurance case language for architecture model published presentations and documents on DocSlides.