2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)