Model Checking Control Communication of a FACTS Device. - David A. Cape; Bruce M. McMillin; James K. Townsend (ICPP Workshops, 2006)