Manuel Koch Karl Pauls An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. 16-31 2005 conf/sdl/2005 SDL Forum http://dx.doi.org/10.1007/11506843_2 db/conf/sdl/sdl2005.html#KochP05