Wasynczuk, O Sudhoff, S. D Automated State Model Generation Algorithm for Powr Circuits and System. - 1951-1956 p.