Shinji Kikuchi Satoshi Tsuchiya Motomitsu Adachi Tsuneo Katsuyama Policy Verification and Validation Framework Based on Model Checking Approach. 1 2007 conf/icac/2007 ICAC http://doi.ieeecomputersociety.org/10.1109/ICAC.2007.31 db/conf/icac/icac2007.html#KikuchiTAK07