Case Driven TLC Model Checker Analysis in Energy Scenario. - Vadym Shkarupylo; Ihor Blinov; Valentyna Dusheba; Jamil Abedalrahim Jamil Alsayaydeh (CMIS, 2023)