Shigeta Kuninobu Yoshiaki Takata Daigo Taguchi Masayuki Nakae Hiroyuki Seki A Specification Language for Distributed Policy Control. 386-398 2002 conf/icics/2002 ICICS http://link.springer.de/link/service/series/0558/bibs/2513/25130386.htm db/conf/icics/icics2002.html#KuninobuTTNS02