Enabling Efficient Engineering Processes and Automated Analysis for Power Protection Systems. - Qiteng Hong; Steven M. Blair; Campbell D. Booth; Victoria M. Catterson; Adam Dysko; Tahasin Rahman (IEEE Syst. J., 2018)