Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios | IEEE Conference Publication | IEEE Xplore