Lian Yu Shuang Su Shan Luo Yu Su Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. 241-244 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.46 conf/tase/2008 db/conf/tase/tase2008.html#YuSLS08