Formal Verification analysis of load-voltage power dynamics and controlM. MoulinL. Gluhovskyet al.2004ISIAC - WAC 2004