1st International workshop on assurance cases for software-intensive systems (ASSURE 2013) | IEEE Conference Publication | IEEE Xplore