1. Abdulla, P.A., Atig, M.F., Kara, A., Rezine, O.: Verification of dynamic register automata. In: Proc. of the 44th Int. Conf. on foundation of software technology and theoretical computer science (FSTTCS), volume 29 of LIPIcs, pp. 653–665. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2014)
2. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: 32nd ACM SIGACT SIGMOD SIGART Symp. on principles of database systems (PODS) (2013)
3. Bagheri Hariri, B., Calvanese, D., Deutsch, A., Montali, M.: State-boundedness for decidability of verification in data-aware dynamic systems. In: 14th Int. Conf. on the principles of knowledge representation and reasoning (KR). AAAI Press (2014)
4. Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res. 46, 651–686 (2013)
5. Baier, C., Katoen, J.-P., Guldstrand, Larsen K.: Principles of model checking. The MIT Press, USA (2008)