Loris Penserini Paolo Bresciani Tsvi Kuflik Paolo Busetta Using Tropos to Model Agent Based Architectures for Adaptive Systems: A Case Study in Ambient Intelligence. 37-46 2005 conf/swste/2005 SwSTE http://doi.ieeecomputersociety.org/10.1109/SWSTE.2005.23 db/conf/swste/swste2005.html#PenseriniBKB05