Dynamic Automation Logic