Add assurance case examples
Change requirements