皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 IWIM模型的形式化。 267-283 https://doi.org/10.1007/3-540-45263-X_17 2000 conf/协调/2000 协调 db/conf/coordination/coordonition2000.html#KatisSW00