Synthesis of Dynamic Models for Synchronous Machines