A method for assuring service grade with Assurance case: An experiment on a portal service. - Miki Masumoto; Tatsuya Tokuno; Shuichiro Yamamoto (ISSRE (Supplemental Proceedings), 2013)