Qiteng Hong, Steven M. Blair, Campbell D. Booth, Victoria M. Catterson, Adam Dysko, Tahasin Rahman. Enabling Efficient Engineering Processes and Automated Analysis for Power Protection Systems. IEEE Systems Journal, 12(1):340-349, 2018. [doi]
Abstract is missing.