D. J. Weitzner, H. Abelson, T. Berners-lee, J. Feigenbaum, J. Hendler et al., Information accountability, Communications of the ACM, vol.51, issue.6, pp.82-87, 2008.
DOI : 10.1145/1349026.1349043

H. Deyoung, D. Garg, L. Jia, D. Kaynar, and A. Datta, Experiences in the logical specification of the HIPAA and GLBA privacy laws, Proceedings of the 9th annual ACM workshop on Privacy in the electronic society, WPES '10, pp.73-82, 2010.
DOI : 10.1145/1866919.1866930

D. L. Métayer, A formal privacy management framework, Formal Aspects in Security and Trust, pp.1-15, 2009.

G. Piolle and Y. Demazeau, Representing privacy regulations with deontico-temporal operators, Web Intelligence and Agent Systems, vol.9, issue.3, pp.209-226, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00657248

S. Etalle and W. H. Winsborough, A posteriori compliance control, pp.11-20, 2007.

R. Jagadeesan, A. Jeffrey, C. Pitcher, and J. Riely, Towards a Theory of Accountability and Audit, ESORICS'09, pp.152-167, 2009.
DOI : 10.1145/1288783.1288786

J. Feigenbaum, A. D. Jaggard, and R. N. Wright, Towards a formal model of accountability, Proceedings of the 2011 workshop on New security paradigms workshop, NSPW '11, pp.45-56, 2011.
DOI : 10.1145/2073276.2073282

J. Zou, Y. Wang, and K. J. Lin, A Formal Service Contract Model for Accountable SaaS and Cloud Services, 2010 IEEE International Conference on Services Computing, pp.10-10, 2010.
DOI : 10.1109/SCC.2010.85

W. Benghabrit, H. Grall, J. C. Royer, M. Sellami, M. Onen et al., A cloud accountability obligations representation framework, p.2014, 2014.

J. Feigenbaum, A. D. Jaggard, R. N. Wright, and H. Xiao, Systematizing " accountability " in computer science, 2012.

M. Fisher, Temporal representation and reasoning. In: Handbook of Knowledge Representation, pp.513-550, 2008.

I. M. Hodkinson, F. Wolter, and M. Zakharyaschev, Decidable fragments of first-order temporal logics, Annals of Pure and Applied Logic, vol.106, issue.1-3, pp.1-3, 2000.
DOI : 10.1016/S0168-0072(00)00018-X

W. Benghabrit, H. Grall, J. C. Royer, and M. Sellami, Accountability for Abstract Component Design, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014.
DOI : 10.1109/SEAA.2014.68
URL : https://hal.archives-ouvertes.fr/hal-00987165