@article{SolhaugStolen11,
author = "Bjornar Solhaug and Ketil Stolen",
journal = "International Journal of Software and Informatics",
note = "PARTNERS: SINTEF, PROJECTS: NESSoS; Citations: 1; Impact factor: Unknown; Citations: 1",
number = "1--2",
pages = "139--157",
title = "{P}reservation of {P}olicy {A}dherence under {R}efinement",
volume = "5",
year = "2011",
}