Andrés Takach Wayne Wolf Miriam Leeser An Automaton Model for Scheduling Constraints in Synchronous Machines. 1-12 1995 44 IEEE Trans. Computers 1 db/journals/tc/tc44.html#TakachWL95