Weather Impact on DER Long-term Performance: A Formal Verification Approach. - Misael Alpizar Santana; Ioannis Stefanakos; Xinwei Fang; Ankita Garg; Hongjian Sun; Ashraf Osman (ISGT Asia, 2024)