[ISSRE2020] FPA3 - New approaches for system assurance