Friedrich Otto: CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions. SOFSEM 2010: 627-638