ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models | IEEE Conference Publication | IEEE Xplore