Christian Hoareau Ichiro Satoh Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments. 130-137 2008 AINA http://doi.ieeecomputersociety.org/10.1109/AINA.2008.107 conf/aina/2008 db/conf/aina/aina2008.html#HoareauS08