東芝がクラウド基盤作りでこだわったSLA、選ばれた「PaaSを作る開発ツール」とは（関連情報）：ホワイトペーパー