DATS: Dynamic Abstract Transition System