@article{bertolinotesting,
author = "Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti and Fabio Martinelli and Paolo Mori",
journal = "Software Quality Journal",
note = "partners: CNR,  projects: NESSOS, citations 0",
pages = "1--31",
publisher = "Springer",
title = "{T}esting of {P}ol{PA}-based usage control systems",
year = "2013",
}