Towards Assurance Cases for Resilient Control Systems | IEEE Conference Publication | IEEE Xplore